Jason Hemann

Jason Hemann is an Assistant Professor of Computer Science in the Department of Mathematics and Computer Science at Seton Hall University. His research focuses on functional and logic programming DSLs, embeddings for logic programming in host languages, and the microKanren model, which has inspired over 150 implementations across 50+ languages. He also explores symbolic AI, program synthesis, and teaching-oriented languages.

His research interests include logic programming extensions, typesafe embeddings of logic languages, and constraint systems. He teaches courses such as Introduction to Programming, Data Structures and Algorithms, and Software Engineering. Hemann has contributed to the design of relational programming frameworks and DSL implementations, emphasizing extensibility and educational applications.

Recent work includes advancements in multi-stage relational programming, compiled DSLs, and systematic teaching language progressions. His publications span topics like constraint logic programming, program correctness proofs, and STEM outreach programs.

Notable grants include the CRII: SHF grant supporting educational language frameworks. His work bridges foundational research with practical applications in programming languages and pedagogy.