Kristopher Micinski (Preferred)
Kristopher K. Micinski
Kristopher Micinski
Assistant Professor, EECS, Syracuse University
Joined
June 2023
Names
,
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
Expertise
automated reasoning
, theorem proving
Present
program analysis
, static analysis
, abstract interpretation
Present
logic programming
, datalog
, monotonic aggregation
Present
Publications
Co-Authors
- Ahmedur Rahman Shovon
- Arash Sahebolamri
- Ari Fogel
- Bernd Finkbeiner
- Chang Liu
- Charles Ofria
- César Sánchez
- Daniel Votipka
- David Darais
- Davis Ross Silverman
- Edward Raff
- Eric Torng
- James Holt
- Jeffrey A. Vaughan
- Jeffrey Ching
- Jeffrey S. Foster
- Jinseong Jeon
- Jonathan Fetter-Degges
- Ke Fan
- Langston Barrett
- Mahmoud Taghizadeh
- Markus N. Rabe
- Masoud Koleini
- Maya Fuchs
- Michael R. Clarkson