Nir Piterman

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

Check out my ​homepage.​

Page manager Published: Fri 06 Nov 2020.