A picture of Kris A picture of Kris

Kristopher Micinski

Assistant Professor

Syracuse University

I love thinking about programming, exploring ways to understand programs, developing new paradigms for writing programs, and helping students understand programs. I am an assistant professor in the Electrical Engineering and Computer Science department at Syracuse University. I am always looking for motivated undergraduate, masters, and doctoral students to work on research in programming languages (specifically static analysis) and security. Feel free to email me!

Research

My goal is to design the most scalable logical reasoning systems in history for code analysis, analytic reasoning, and symbolic AI broadly. Over the past several years, my focus has been on extensions to Datalog, where my collaborators and I have built the world’s fastest Datalog engines for CPUs (CC ‘22, OOPSLA ‘23), GPUs (ASPLOS ‘25, AAAI ‘25), and supercomputing clusters (VLDB ‘25, ICS ‘25). In my current efforts, I have been working to apply these engines to new applications in reverse engineering, static analysis, medical reasoning, and related fields.

My Google Scholar profile tracks my most up-to-date submissions.

Security PL Systems

Areas I work in


(mouse over)

PhD Students

Teaching

I am currently teaching a course on Compiler Construction during Fall 2025. The material is public, and I encourage you to check it out.

I teach CIS352, the undergraduate programming languages at Syracuse, every Fall and Spring. The course lectures from Spring 2022’s iteration are available for free on YouTube.

I have also taught various special topics courses, a full list is detailed in the “Teaching” tab

Undergraduate Research and Theses

Note that I am particularly excited to collaborate with Syracuse students. As you can likely tell from this page, my research is generally in programming languages, but related areas (especially computer security) also appeal to me. If you would like to pursue undergraduate research, please drop me a line so we can discuss!

You should also read my thoughts on goals and expectations for undergraduate research.