Mohsen Lesaniمشاهده پروفایل
دانشیار
- Reliability and Security of Software Systems
- Concurrent and Distributed Systems
- Secure Replicated Systems
- +۴ مورد دیگر
Mohsen Lesani is an Associate Professor at the Computer Science and Engineering Department of University of California, Santa Cruz . He obtained his PhD from UCLA , MS in Artificial Intelligence from Sharif University of Technology , and BS in Software Engineering from University of Tehran . His research focuses on reliability and security of software systems , particularly concurrent and distributed systems , with recent work on secure replicated systems and distributed machine learning . NSF CAREER Award (2020) DARPA Young Faculty Award (2022) SIGPLAN Research Highlight (2019) Distinguished Paper Award at OOPSLA 2018 Best Paper Award at ISSRE 2015 His recent publications tackle challenges in automated synthesis of distributed protocols , heterogeneous replication , secure blockchain transactions , and verified RDMA-based data types . He advises PhD students Xiao Li , Eric Chan , Javad Saber-Latibari , and Tejas Mane in the Safe and Secure Software (S3) lab . He has taught courses on Distributed Systems , Parallel Programming , and Compiler Design .










