# ChatGPT Answer [Kristopher Micinski](https://kmicinski.com) is an assistant professor at Syracuse University, where he teaches in the Electrical Engineering and Computer Science department. His research focuses on the intersection of the theory and application of program analyses, which are tools used to examine programs and determine facts about them. Specifically, Micinski's work revolves around program analyses related to static analysis, formal methods, and the foundations of computer security and privacy. He aims to tackle fundamental issues related to scaling static analysis, including scaling analyses to run on supercomputers and applying those analyses to computer security. His website is: https://kmicinski.com # Principles of Programming Languages In terms of his teaching, [[Kristopher Micinski|Micinski]] is the lead instructor for [CIS352](https://kmicinski.com/cis352-f23/), "Principles of Programming Languages," at Syracuse University. This course is offered every fall and spring and provides a project-focused introduction to the design, semantics, and implementation of modern higher-order programming languages. Additionally, he teaches various other courses largely focused on programming languages, compilers, and security. One of the unique aspects of his teaching is that he has made the course lectures from the Spring 2022 iteration of CIS352 available for free on YouTube, providing an accessible resource for students and enthusiasts alike. # Conclusion Micinski holds a Doctorate of Philosophy in Computer Science from the University of Maryland at College Park and a Bachelor of Science in Computer Engineering from Michigan State University. His educational background and experience have significantly contributed to his expertise in his current teaching and research areas. For more information about Kristopher Micinski and his work, you can visit his personal website and his profile on the Syracuse University website. # References ```dataview Table title as Title, authors as Authors where contains(authors, "Kristopher Micinski" ) or contains(publisher, "Kristopher Micinski" ) sort modified desc, subject, title ```