Mohsen Lesani

Mohsen Lesani Ph.D.

Assistant Professor, Computer Science and Engineering

Ph.D., Computer Science, University of California, Los Angeles, 2014

Research Areas

Programming Languages and Software Engineering

Contact Information

Department of Computer Science & Engineering

The overarching goal of Dr. Lesani's research is to make computing systems more reliable and efficient. He is broadly interested in formal methods and concurrent and distributed computing. He applies program analysis and verification techniques to specify and verify concurrent and distributed systems and is also interested in concurrent and distributed programming models and consistency conditions.

Dr. Lesani spent his postdoc at MIT where he worked with Adam Chlipala and obtained his PhD from UCLA where he worked with Jens Palsberg. He obtained my BS and MS from the University of Tehran and Sharif University of Technology. He has research experience with Scalable Synchronization Lab at Oracle (Sun) Labs and HP Labs.