Sankha Guria

Sankha Guria serves as an Assistant Professor in the Department of Electrical Engineering & Computer Science at The University of Kansas, where he conducts research at the intersection of programming languages and software engineering.

His primary research focuses on advancing program synthesis techniques and type system design, with significant contributions to abstract interpretation-guided synthesis (Absynthe), effect-guided program generation (RbSyn), and security-aware declassification frameworks (ANOSY). He also investigates type-level computations for dynamic languages, particularly addressing challenges in Ruby and JavaScript through transparent object proxies and contract systems.

Analysis of his publication timeline reveals strong continuity in programming languages research since 2015, with recent work (2021-2023) emphasizing lightweight abstractions for synthesis and refinement types, while maintaining foundational work on dynamic language security. His research consistently bridges theoretical formal methods with practical language implementation challenges, particularly in the context of modern scripting languages.