|Profession:||Software developer, with a scientific background|
|Contact:||User: “mail”, Domain: “harnold.org”|
I work as an Embedded Systems Software Engineer at TomTom Telematics.
Before joining TomTom, I worked as a research assistant in the Theory Group of the Computer Science Department at the University of Potsdam. My research there was concerned with theoretical questions related to automated theorem proving. For example, I tried to understand why certain theorem proving algorithms (in particular, the family of DPLL algorithms extended with clause learning) often work efficiently in practical applications, and what are their fundamental limitations.
Before coming to Potsdam, I worked in the Complex Structures in Biology and Cognition (now: Cognition and Neurosciences) group at the Max-Planck-Institute for Mathematics in the Sciences in Leipzig, where I studied information theory and other mathematical tools used in theoretical neuroscience. My advisor at the MPI MIS was Jürgen Jost.