Latest review note
Added homepage, GitHub, DBLP, GitHub avatar, and a Google DeepMind-grounded bio.
Atlas / People / Detail
Research software engineer at Google DeepMind working on machine learning for code and formal reasoning; completed a PhD at TU Darmstadt on uncertainty quantification in deep learning.
Profile status: updated
Added homepage, GitHub, DBLP, GitHub avatar, and a Google DeepMind-grounded bio.