Johannes Hartmann

Johannes Hartmann

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

Programming Languages

Interests

I am Johannes Hartmann, a DPhil student in Computer Science at the University of Oxford, currently based at Kellogg College. My focus is on functional programming, with a particular interest in Haskell. I am exploring the potential applications of the selection monad, which I have previously studied as a model for different types of algorithms, including greedy algorithms. My research interests also include programming languages, type systems such as dependent types, and effects and handlers. I am passionate about advancing the understanding of functional programming and its applications. Please feel free to contact me at johannes.hartmann "AT" cs.ox.ac.uk.

Biography

Before beginning my DPhil in Computer Science at the University of Oxford in 2019, I completed a BSc in Medical Computer Science at the University of Tübingen and an MSc in Software Engineering at Queen Mary University in London. Additionally, I worked as a software engineer for Capgemini in the year prior to beginning my DPhil.

During my undergraduate studies, I founded AHSoftwareSolutions, a startup focused on developing the Stroke Pad, a tool for pre-announcing stroke and heart attack patients on their way to the hospital. This experience led me to further explore the intersection of technology and healthcare.

As part of my Teaching Assistant Scholarship at Oxford, I have served as a teaching assistant for a number of undergraduate courses, including Functional Programming, Principles of Programming Languages, Design and Analysis of Algorithms, Concurrent Programming, and Imperative Programming 1, 2, and 3. Additionally, I have lectured and served as a teaching assistant for the Functional Programming course of the Part-Time Software Engineering Programme.