Kristopher Micinski

Assistant Professor, EECS, Syracuse University

  • Joined June 2023

Names

Kristopher Micinski (Preferred)
,
Kristopher K. Micinski

Emails

****@gmail.com (Confirmed)
,
****@syr.edu (Confirmed)

Personal Links

Career & Education History

Assistant Professor
EECS, Syracuse University (syr.edu)
2019 – Present
 
Visiting Assistant Professor
Computer Science, Haverford College in Pennsylvania (haverford.edu)
2017 – 2019
 

Advisors, Relations & Conflicts

Coauthor
2022 – 2025
 
PhD Advisor
2011 – 2017
 

Expertise

automated reasoning, theorem proving
Present
 
program analysis, static analysis, abstract interpretation
Present
 
logic programming, datalog, monotonic aggregation
Present