Sotabase
Home
Researchers
Career
·
Machine Learning Developer Intern
,
Stealth BioTech Startup
2024–
·
Consulting Intern - Deloitte Digital
,
Deloitte
2023–
·
Fellow
,
Project Melo | Website
2022–
·
PhD Student in the PLUM Lab
,
University of Maryland
2020–
Publications
(2)
Liquid proof macros
ACM SIGPLAN Symposium/Workshop on Haskell · 2022
2
cited
Pantograph: A Fluid and Typed Structure Editor
Proc. ACM Program. Lang. · 2024
1
cited
Sotabase
Henry Blanchette | Researcher Profile | Sotabase | Sotabase