CV

Last updated: Jul 2024.
[Download full version]

Education

ETH Zürich
MSc ETH in Computer Science, Sep 2020 – Mar 2023

University of Copenhagen
BSc in Computer Science, Sep 2017 – Jun 2020

University of California, Merced
UCEAP Reciprocal Program, Aug 2019 – Dec 2019

Experience

UBS
Quant Developer, Jun 2023 – Present

Alexandra Institute
AI / Machine Learning Specialist, Mar 2023 – Jun 2023

University of Copenhagen
Teaching Assistant, Jan 2020 – Jul 2020

Nykredit
Software Developer, Oct 2018 – Jan 2020

Publications

Highlighted projects

Carbontracker
github.com/lfwa/carbontracker
Open-source tool for tracking and predicting the energy consumption and carbon emissions of training deep learning models in Python. The tool is freely distributed under the MIT License. Corresponding publication arXiv. It has been downloaded $>$$75$k times on the Python Package Index (PyPI) as of writing.

Datadynamics
github.com/lfwa/datadynamics
Open-source library and environment for simulating data collection dynamics in multi-agent settings, primarily targeting the exploration of data valuation approaches. The library is freely distributed under the BSD 3-Clause License.

Reinforced Graph Neural Networks for Collaborative Filtering
github.com/lfwa/reinforced-gnn
Introduced a novel architecture to generate predictive compatibility scores for never-before-seen content in recommendation systems. The architecture combines the strength of graph-extracted embeddings in a graph neural network with the generalization power of a deep feed-forward network and adds “reinforcements” providing additional information to the network.

Static Taint Analysis For Ethereum Contracts
github.com/lfwa/vulnerable-ethereum-contracts
Designed and implemented a static taint analyzer in Datalog for Ethereum smart contracts. The analyzer detects vulnerable contracts that may be deleted from the blockchain and have all remaining cryptocurrency transferred to an untrusted address.

Supporting Alternative SMT Solvers in Viper
github.com/viperproject
Added support for multiple SMT solvers, such as cvc5, in the symbolic-execution based automated verification backend written in Scala for the program verification tool chain and infrastructure, Viper.

Relevant coursework

Machine Learning & Big DataMathematicsSoftware Engineering
Advanced Machine LearningStatistics & Probability TheoryProgram Verification
Causal Representation LearningDiscrete MathematicsProgram Analysis for System Security and Reliability
Natural Language ProcessingLinear AlgebraConcepts of Object-Oriented Programming
Probabilistic AIModelling & Analysis of DataComputer & Network Security
Reliable & Trustworthy AIAlgorithms & Data Structures
Computational IntelligenceRandomized Algorithms
Big Data

Skills

Programming Languages

Databases

Frameworks and Tools