About
I'm a computer scientist at the University of Copenhagen with a strong interest in both the theoretical and applied aspects of computation and machine learning; and by extension in logic, the foundations of mathematics, and mathematics more broadly.
On the theoretical side, I'm preoccupied by questions regarding the fundamental limits on what can be computed, learned, and proven by algorithms. On the applied side, I'm interested in how we can use formal models to build and reason about systems so they perform reliably and efficiently while situated in a fundamentally stochastic world.
Currently, I'm affiliated with the P³AI₄ research consortium (Predictive and Prescriptive Process Analytics for Industry 4.0) which is focused on developing hybrid (statistical and symbolic) approaches to modeling cyber-physical systems.
I also happen to be professionally trained as a glassblower. This beautiful material and esoteric craft has captivated me nearly as long as my lifelong fascination with computing.
Research Interests
Topics that hold my interest, some of which I have published on:- Automated Reasoning and Planning
- Computability and Complexity Theory
- Computational Learning Theory
- Formal Languages and Automata
- Information Theory
- Machine Learning
- Mathematical Logic
- Neurosymbolic/Hybrid AI
- Probabilistic Inference and Reasoning
- Process Modeling and Mining
- Stochastic Processes
Publications
See my profile on Google Scholar.Education
PhD Computer Science, University of CopenhagenMSc Artificial Intelligence, University of Edinburgh
BA Psychology w/ Computer Science, Lewis and Clark College