Scholar
David M Kahn
Google Scholar ID: vHugl_kAAAAJ
Assistant Professor, Denison University
Citations & Impact
Citations
153
H-index
5
i10-index
4
Publications
15
Co-authors
8
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Thesis work on AARA (Automatic Amortized Resource Analysis), a type system for automatic cost analysis.
Research Experience
- Conducted PhD research at CMU until 2024, worked at Amazon's CodeGuru, and taught a summer course in functional programming; worked on Hack at Facebook during the summer of 2018.
Education
- PhD from CMU in 2024, advised by Jan Hoffmann; BS in Computer Science from Cornell University in 2018 with minors in Math and Philosophy.
Background
- Assistant professor of computer science, interested in designing ways to squeeze utility out of languages. Research interests include logic and type theory, static analyses (especially cost), domain-specific languages, automata, and decision procedures.
Miscellany
- Loves board games, especially social deduction games; enjoys hiking, looking at trees, and finding sealife; was a theatre kid, competitive singer, and eagle scout growing up.
