Sat 26 - Thu 31 October 2013 Indianapolis, United States
Joey Eremondi

Registered user since Thu 7 Jan 2016

Name:Joey Eremondi

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.

Affiliation:Utrecht University
Personal website:http://eremondi.com
Research interests:Programming Languages, Algorithms, Formal Language Theory, Computability Theory, Functional Programming


SPLASH 2013 The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic Proofs
Show activities from other conferences

SPLASH 2013-profile
View general profile