Keith J.C. Johnson

PhD student, Department of Computer Sciences, University of Wisconsin - Madison
Joined
May 2026

Names

Keith J.C. Johnson (Preferred)
, 
Keith J. C. Johnson

Emails

****@wisc.edu (Confirmed)
, 
****@cs.wisc.edu (Confirmed)

Personal Links

Career & Education History

PhD student
Department of Computer Sciences, University of Wisconsin - Madison (wisc.edu)
2020 – Present
Undergrad student
EECS Department, University of Michigan - Ann Arbor (umich.edu)
2012 – 2016
Undergrad student
Department of Astronomy, University of Michigan - Ann Arbor (umich.edu)
2012 – 2016

Advisors, Relations & Conflicts

PhD Advisor
Loris D'Antoni
2020 – Present
PhD Advisor
Thomas Reps
2020 – Present
PhD Advisor
Aws Albarghouthi
2020 – Present

Expertise

program synthesis
2020 – Present

Publications

No publications

Co-Authors

No co-authors