andrew blinn
Scholar

andrew blinn

Google Scholar ID: OccotHkAAAAJ
PhD student, University of Michigan
programming languagesHCIfunctional programmingcomputing education
Citations & Impact
All-time
Citations
104
 
H-index
5
 
i10-index
5
 
Publications
10
 
Co-authors
5
list available
Resume
Academic Achievements
  • Published several papers including 'Statically Contextualizing Large Language Models with Typed Holes' (OOPSLA 2024), 'Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine' (PROPL @ POPL24), etc.; Received Distinguished Paper Award at POPL2024.
Research Experience
  • Presented at multiple academic conferences and workshops such as VLHCC22, OOPSLA 2024, etc.; Participated in various research projects like Tylr - A Tiny Tile-based Structure Editor, Filling typed holes with live GUIs, etc.
Education
  • Mastered Computer Science at the University of Michigan in May 2023; Graduated from the University of Toronto with an HBSc in Computer Science & Mathematics in May 2019.
Background
  • Uses programming language theory to explore and explain user interfaces, trying to make engagement with abstractions more tangible and more fun. Research interests include composing GUIs, semantic contextualization and guidance by language servers, and tactile affordances for mechanized semantic materials.
Miscellany
  • Participated in multiple academic events and workshops such as Train Jam, Causal Islands, etc.; Conducted in-depth research on programming assistant architecture; Presented Fructure at RacketCon 2019.