Hi! I’m Sankha. I am a Ph.D. student in Computer Science at the University of Maryland, advised by Prof. Jeff Foster and Prof. David Van Horn. I work with the folks at the PLUM group.
I am interested in programming languages and formal methods with a focus on foundational, yet practical, techniques that facilitate understanding programs, improve software reliability, and in general, help in building functionally correct software. Currently, I work on building expressive type systems and verification tools for Ruby programs and scaling them to work on large Ruby on Rails web applications.
- Volunteering for POPL 2020 Artifact Evaluation Committee July 13, 2019
- RDL 2.2.0 released with type-level computations June 09, 2019
- At Synthetic Minds as a research intern this summer May 28, 2019
Type-Level Computations for Ruby Libraries.
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster and David Van Horn.
Paper (PDF), Tech Report, Source Code
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken and Peter Thiemann.
Paper (PDF), Video, Project Homepage, Artifact, Source Code
Email: [email protected]
@ngsankha | ngsankha