Jiaming Jiang

Jiaming Jiang portrait

Jiaming Jiang

Assistant Teaching Professor

E2437J Lafferre Hall

Email: jjiang@missouri.edu

Engineering and Information Technology

Biography

Jiaming Jiang is an assistant teaching professor in the Department of Engineering and Information Technology. 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.

Education

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