Sepehr Amir-Mohammadian
Associate Professor of Computer Science
Department of Computer Science
School of Engineering and Computer Science
University of the Pacific
Bio | Research Interests | Publications | Teaching | Contact
Bio
I am an associate 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.
Research Interests
Cybersecurity with focus on Programming Languages techniques to provide Formal Software Security Assurance. Here is a list of my publications and research projects.
Teaching
- COMP/ECPE 177: Computer Networking F17, F18, F19, F21, F22, F23
- COMP 141: Programming Languages S18, S19, F19, S20, F20, S21, F21, S22, F22, S23, Sum23, F23, S24, Sum24
- COMP 51: Introduction to Computer Science S22, Sum22, F22
- COMP 53: Data Structures S20, F20, S23
- COMP 173: Operating Systems S19, S23, S24
- COMP 293: Reliable Software Design F18, S21
- COMP 278: Cyber Defense and Offense S18, Sum23
- COMP 193/293: Introduction to Deep Learning Sum23, Sum24
- COMP 193/293: Introduction to Quantum Computing Sum24
