Kimball Germane


I am an assistant professor at Brigham Young University in the Computer Science Department.

I completed a PhD at University of Utah in the School of Computing, working with Matt Might.

I am interested in programming languages, static analysis, and formal methods, particularly applied to higher-order languages.


Conference Papers

Journal Papers

Technical Reports