Sepehr Amir-Mohammadian

Sepehr Amir-Mohammadian

Asst. Professor
Chambers 122
Phone Number

I am an assistant professor at the Department of Computer Science, University of the Pacific. My research explores the interplay between the theory of programming languages, mathematical logic, and cybersecurity.  In particular, my goal is to understand how linguistic approaches help to establish the properties of interest in different applications.  In 2017, I received my PhD in Computer Science with a thesis on runtime enforcement of in-depth security policies.

I enjoy teaching undergraduate and graduate level courses on computer networking, reliable software design, programming languages, and theoretical aspects of computer science.

I have served as the Engineering & Computer Science Council chair in AY 2020-2021.  I am currently representing the School of Engineering and computer Science in Technology in Education Committee.




PhD, Computer Science, University of Vermont, 2017

MS, Information Security Engineering, Amirkabir University of Technology, 2011

BS, Information Technology Engineering, Amirkabir University of Technology, 2009


Teaching Interests

Programming Languages
Theoretical aspects of Computer Science


Research Focus

Cybersecurity with a focus on Programming Languages techniques to provide Formal Software Security Assurance.


Please checkout my publications page for the updated and more detailed list.

Sepehr Amir-Mohammadian and Afsoon Yousefi Zowj. Towards concurrent audit logging in microservices. In Proceedings of the 15th IEEE International Workshop on Security, Trust & Privacy for Software Applications (STPSA 2021), as part of the 45th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2021), pages 1357--1362, July 2021. [ bib | .pdf ]

Akshat Bajpai and Sepehr Amir-Mohammadian. Towards an indoor navigation system using monocular visual SLAM. In Proceedings of IT in Practice (ITiP) Symposium, the 45th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2021), pages 520--525, July 2021. [ bib | .pdf ]

Sepehr Amir-Mohammadian. A semantic framework for direct information flows in hybrid-dynamic systems. In Proceedings of the 7th ACM Cyber-Physical System Security Workshop (CPSS 2021), pages 5--15. Association for Computing Machinery, June 2021. [ bib | .pdf ]

Sepehr Amir-Mohammadian and Chadi Kari. Correct audit logging in concurrent systems. Electronic Notes in Theoretical Computer Science, 351:115--141, September 2020. Part of Special Issue: Proceedings of LSFA 2020, the 15th International Workshop on Logical and Semantic Frameworks, with Applications. [ bib | .pdf ]

Christian Skalka, Sepehr Amir-Mohammadian, and Samuel Clark. Maybe tainted data: Theory and a case study. Journal of Computer Security, 28(3):295--335, April 2020. [ bib | .pdf ]

Chadi Kari, Sixia Chen, Sepehr Amir-Mohammadian, and Vivek K. Pallipuram. Data migration in large scale heterogeneous storage systems with nodes to spare. In International Conference on Computing, Networking and Communications, ICNC 2019, Honolulu, HI, USA, February 18-21, 2019. IEEE, February 2019. [ bib | .pdf ]