Experience

Haskell Foundation

• United States
• IT Services and IT Consulting
• 1 - 100 Employee

• Executive Director

  • May 2022 - Present



Deon Digital AG

• Switzerland
• Software Development
• 1 - 100 Employee

• Senior Software Developer

  • Feb 2021 - Apr 2022



Galois, Inc.

• Member Of Technical Staff

  • Jan 2018 - Jan 2021



Portland State University

• United States
• Higher Education
• 700 & Above Employee

• Adjunct Assistant Professor

  • Apr 2019 - Jun 2019

  Teaching a course on using and implementing dependent types, based on The Little Typer. Teaching a course on using and implementing dependent types, based on The Little Typer.



Indiana University School of Informatics and Computing

• United States
• Higher Education
• 1 - 100 Employee

• Postdoctoral Fellow

  • Feb 2016 - Dec 2017



IT-Universitetet i København

• Denmark
• Higher Education
• 400 - 500 Employee

• PhD Student

  • Jul 2011 - Jan 2016

  Working on domain-specific languages and dependently typed programming.

• Teaching Assistant

  • Feb 2011 - Jun 2011

  Teaching assistant for the courses Advanced Models and Programs and Introduction to Scripting, Databases, and System Architecture



DIS, the Danish Institute for Study Abroad

• Web and Database Developer

  • Jan 2007 - Mar 2011

  Database and Web development using Django, PostgreSQL, FileMaker and PHP.

• Intern in IT Department

  • Aug 2005 - Jan 2007

  Technical support, system administration, smaller development projects



iD Tech Camps

• United States
• Education Management
• 300 - 400 Employee

• Instructor

  • Jun 2005 - Jul 2005

  Teach technical topics including computer programming to children. Teach technical topics including computer programming to children.