Jason Hemann

Registered user since Mon 31 Oct 2016

Name:Jason Hemann

Jason Hemann is an Assistant Professor of Computer Science in the Department of Mathematics and Computer Science at Seton Hall University. Hemann’s research interests include functional and logic programming DSLs. He focuses on embeddings and extensions to support logic programming in numerous host languages, transforming functional programs to relational ones, and teaching languages to support DSL programming. His microKanren model has inspired scores of implementations – more than 150, in over 50 host languages. Jason’s other interests concern novel uses of logic programming and symbolic constraint systems and typesafe embeddings of logic languages.

Jason’s research interests blend together with his teaching. His research questions tend to emerge from his teaching, and his results make it back into the classroom. An example of this approach can be found in his recently published textbook “The Reasoned Schemer, 2nd Edition”. He has been teaching in various capacities for over 15 years, including pre-college STEM programs, private professional training programs, and university courses at undergraduate and graduate levels. His awards include “Associate Instructor of the Year” at Indiana University.

Prior to joining SHU, Jason held Teaching Professor and Lecturer positions at Northeastern University and the Rose-Hulman Institute of Technology. Jason earned his Ph.D. in 2020 from the School of Informatics, Computing, and Engineering at Indiana University as part of the programming language research community and under the supervision of Dan Friedman. He earned his master’s in computer science from the School of Informatics and Computing at Indiana University, and both of his bachelor’s in computer science and philosophy and a bachelor of arts in history at Trinity University in San Antonio, Texas.

Country:United States
Affiliation:Seton Hall University
Personal website:http://hemann.pl
Research interests:PL LP CLP CPL


miniKanren 2022 Presenter of Some criteria for implementations of conjunction and disjunction in microKanren within the miniKanren 2022-track
Session Chair of Session 2 (part of miniKanren 2022)
PC Member in Program Committee within the miniKanren 2022-track
PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
miniKanren 2020 Session Chair of Afternoon Keynote (part of miniKanren 2020)
General Chair in Program Committee within the miniKanren 2020-track
Author of Some Novel miniKanren Synthesis Tasks within the miniKanren 2020-track
Scheme 2020 Publicity Chair in Organizing Committee within the Scheme 2020-track
miniKanren 2019 Committee Member in Program Committee within the miniKanren 2019-track
Scheme 2019 PC Member in Organizing Committee within the Scheme 2019-track
DLS 2016 Author of A Small Embedding of Logic Programming with a Simple Complete Search within the DLS-track
Scheme 2016 Author of Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists within the Scheme-track
ECOOP 2015 Author of How to be a good host: miniKanren as a case study within the Curry On-track