Kristopher Micinski

Kristopher Micinski is an Assistant Professor in the Electrical Engineering and Computer Science Department at Syracuse University. His research focuses on scalable program analysis, static analysis, and formal methods applied to computer security and privacy. He holds a PhD in Computer Science from the University of Maryland and a BS in Computer Engineering from Michigan State University.

Education:

• PhD, Computer Science, University of Maryland at College Park
• BS, Computer Engineering, Michigan State University

Research Interests:
His work bridges theory and application of program analyses, emphasizing scalable static analysis frameworks, Datalog optimization for distributed systems, and security applications. Recent efforts include GPU-accelerated Datalog engines and large-scale malware analysis pipelines like Assemblage.

Grants & Projects:

• NSF PPoSS Large: $1M grant for declarative analytics
• DARPA V-SPELLS: $400K for legacy software optimization
• Assemblage: $350K DoD grant for malware classification

Teaching:
He teaches undergraduate and graduate courses on programming languages (CIS352) and formal methods (CIS700), with materials publicly available on YouTube.