Program Construction and Data Structures

Teachers Assistant on the introductory course to programming, using SML, for freshman students in the Computer Science program.

Autumn/Spring 2013/2014

Object-Oriented Development

Teachers Assistant an a distance course about object-oriented development using Java.

Spring 2014

BREU

Bounded Rigid E-Unification

Bounded Rigid E-Unification (BREU) is a restriction of regular E-Unification which was developed as a sub-procedure in a sequent based theorem prover (ePrincess). It is available as a separate library at GitHub implemented in Scala

ePrincess

ePrincess is a branch of the Princess theorem prover which utilises BREU as its unification procedure.

UppSAT

UppSAT is an approximating SMT-solver designed to allow for rapid prototyping and implementation of approximation of various theories. The latest version and documentation can be found at GitHub.

When not focusing on problem-solving I like to watch movies and read books, especially non-fiction. I strongly recommend anyone who hasn't read either Sapiens or Thinking, Fast and Slow, to give them a go!

I am also fascinated by teaching in its various forms. Previously, I have been engaged in Coaching Maths Online and in an pre-introducationary course for new computer science students. Now, I have the chance of exploring this both as a TA on various courses, as well as in my day-to-day life together with my child.