Sepehr Amir-Mohammadian is an Associate Professor in the Department of Computer Science at the University of the Pacific, part of the School of Engineering and Computer Science. His research focuses on cybersecurity, programming languages, and formal software security assurance, particularly applying linguistic approaches to ensure properties in security-critical applications. He earned his PhD in Computer Science from the University of Vermont (2017), focusing on in-depth security policy enforcement, following an MS in Information Security Engineering (Amirkabir University of Technology, 2011) and a BS in Information Technology Engineering (Amirkabir University of Technology, 2009). Teaching interests include computer networking, reliable software design, programming languages, and theoretical computer science. He has held leadership roles such as Engineering & Computer Science Council Chair (2020-2021) and currently represents his school in the Technology in Education Committee. His research bridges theory and practice, with contributions to audit logging correctness, quantitative information flow analysis, and cybersecurity in cyber-physical systems. Recent work emphasizes concurrent audit logging in distributed systems, timing attack analysis in cyber-physical systems, and leveraging digital twins for security quantification. Notable collaborations include the OpenMRS medical records system and PRISM-Leak tool development for probabilistic program analysis. His publications span conferences like ACM CPSS, IEEE COMPSAC, and IEEE ICNC, addressing challenges in microservices, concurrency, and formal methods. While no specific awards are noted, his contributions to security frameworks and practical implementations reflect significant scholarly impact. Research groups and projects include work on hybrid-dynamic systems, concurrent logging, and network protocol testing with large language models.









