Karl Smeltzer

Research & Engineering

Software is ubiquitous, and as our reliance on it increases, the correctness and trustworthiness of our software systems are growing to become critical issues of human safety and happiness. At Galois, I strive to combine novel ideas from the latest academic research together with proven approaches in order to help make software systems that we can depend on.


Karl earned his Ph.D. in Computer Science from Oregon State University in 2018. He specializes in language design, static analysis, and functional programming. In his spare time, Karl can probably be found roasting coffee or brewing beer.