Jiaming Jiang - Mizzou Engineering

Jiaming Jiang portrait

Jiaming Jiang

Assistant Teaching Professor

E2437J Lafferre Hall

Email: jjiang@missouri.edu

Engineering and Information Technology


Jiaming Jiang is an assistant teaching professor in the Information Technology Program. Before that, she was a lecturer at UC Davis. She has taught a variety of courses, including Python, C, Haskell, Prolog, data structures, and semantics of programming languages. Her research focus during her PhD was on formal methods. She has developed a model of a security access control systems using mathematical logics. Her technical focus areas include formal methods and various programming languages, including Python, C++, C, Rust, Haskell and Prolog.


Ph.D. from North Carolina State University
Master of Science from North Carolina State University
Bachelor in Computer Science from Calvin University

Technical Focus

Formal methods

Programming languages