Hi! I am Keith Johnson, and I like program synthesis. I work with Loris D'Antoni, Tom Reps, Aws Albarghouthi, and others.

You can reach me at keith.johnson@wisc.edu.

ORCiD

Google Scholar