Joey Eremondi

Registered user since Thu 7 Jan 2016

Name: Joey Eremondi

Bio: I am Joey Eremondi, a Masters student in the Department of Computing Science at the University of Utrecht.

I have a B.Sc. Honours in Computer Science, and a B.Sc. 4-year in Mathematics, both from the University of Saskatchewan.

Country: Canada

Affiliation: Utrecht University

Personal website:

Research interests: Programming Languages, Algorithms, Formal Language Theory, Computability Theory, Functional Programming


POPL 2016Author of Polyvariant Pattern Match Analysis with Implication Constraints within the SRC-track
SPLASH 2013Author of The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic Proofs within the ACM SRC-track