PhD student working with automated theorem provers and SMT-solvers, focusing on quantifier handling in first-order logics.
Supervisor Philipp Rümmer
Minor in Japanese
JLPT level 3 awarded.
Minor in Chinese
Teachers Assistant on the introductions course to the Computer Science program spanning on a wide variety of topics.
Assisting students in lab exercises and project using various machine learning techniques (e.g., neural networks, reinforcement learning).
Teachers Assistant on the introductory course to programming, using SML, for freshman students in the Computer Science program.
Teachers Assistant an a distance course about object-oriented development using Java.
When not solving real problems I enjoy solving puzzles and riddles. Both more old-fashioned ones, but also more programming-oriented. I also enjoy programming contests (albeit in a less competative manner) and have partook in the Nordic Collegiate Programming Contest a few times (best placing 43rd in total, 17th in Sweden).
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.