Electrical ÌÇÐÄVlog´«Ã½ and Computer Science
Biography
Jiaming Jiang is an assistant teaching professor in Mizzou’s Department of Electrical ÌÇÐÄVlog´«Ã½ and Computer Science at Mizzou ÌÇÐÄVlog´«Ã½. 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