Nir Piterman

Associate professor, Formal Methods division, Department of Computer Science and Engineering.

Check out my ​homepage.​

Published: Fri 08 Mar 2019. Modified: Sat 29 Jun 2019