Henry Blanchette
Researches the design and implementation of programming languages for formal verification, computical foundations, and practical software development.
Writes in Haskell, Agda, Coq, Racket, Python, JavaScript, and experimental languages.
Sideprojects in game development, web development, and blockchain.
Writes in Haskell, Agda, Coq, Racket, Python, JavaScript, and experimental languages.
Sideprojects in game development, web development, and blockchain.
|
researcher of programming languages at PLUM Lab
|
|
PhD student of computer science at UMD
|
|
BA graduate of computer science at Reed College
|