Skip to content
  • Print
return to Faculty & Staff Directory


Computer Science
Chambers Technology Center 127
Kathy Libres
Administrative Assistant
School of Engineering & Computer Science
3601 Pacific Avenue
Stockton, CA 95211

Sepehr Amir-Mohammadian

Assistant Professor


Phone: 209.932.3261

Office Location

Chambers 118


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

Curriculum Vitae 

Since Fall 2017, I have joined the School of Engineering and Computer Science at University of the Pacific as an Assistant Professor. I am closely collaborating with Jeff Shafer and Chadi El Kari in the Cybersecurity program. Before coming to the Pacific, I completed my doctoral degree in Computer Science at University of Vermont under the supervision of Christian Skalka


Programming Languages
Theoretical aspects of Computer Science


Cybersecurity with focus on Programming Languages techniques to provide Formal Software Security Assurance: The set of my research interests is somehow dichotomous. One part is concerned with variants of logical frameworks and their application in computer science, the Theory of Programming Languages, and syntax, semantics and pragmatics of various calculi. Second part is about diverse aspects of Cybersecurity including varied Cybersecurity models, policies and mechanisms. The intersection of these two broad areas is recognized as Programming Languages-based Security which comprises different static and dynamic language-based techniques to design, implement and verify authorization systems, control-flow and information flow analysis tools, security protocols, etc.


Sepehr Amir-Mohammadian and Christian Skalka. In-depth enforcement of dynamic integrity taint analysis. In Programming Languages and Analysis for Security (PLAS), 2016. [ bib | http ] 

Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. Correct audit logging: Theory and practice. In Principles of Security and Trust (POST), 2016. [ bib | http ] 

Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. Foundations for auditing assurance. In Layered Assurance Workshop (LAW), 2015. [ bib | http ] 

Sepehr Amir-Mohammadian, Stephen Chong, and Christian Skalka. The theory and practice of correct audit logging. Technical report, University of Vermont, 2015. [ bib | http ] 

Sepehr Amir-Mohammadian and Mehran S. Fallah. Noninterference in a predicative polymorphic calculus for access control. Computer Languages, Systems and Structures, 39(3):109--120, 2013. [ bib | http ]