Jonáš Fuksa
PHD Student at Freie Universität Berlin
Berlin, Germany
Summary
🤩
Rockstar🎓
Top SchoolJonáš Fuksa is a PhD researcher at Freie Universität Berlin specializing in benchmarking quantum devices, Hamiltonian learning, and tensor network methods, with a decade of scientific research experience. Trained at the University of Cambridge in theoretical and mathematical physics, he blends theoretical insight with hands-on computational and experimental work—from analysing hydrogen diffusion and irradiated metals to designing lab instrumentation. Based in Berlin, he pursues a broad curiosity across quantum information while progressively specialising through his doctoral work in Jens Eisert’s group. He also engages in science communication and outreach, translating complex quantum topics for wider audiences.
11 years of coding experience
4 years of employment as a software developer
Master of Mathematics, Theoretical and Mathematical Physics, Master of Mathematics, Theoretical and Mathematical Physics at University of CambridgePORG
Github Skills (58)
axiom10
quantifiers10
viper10
instantiation10
verification10
vscode-extension10
formal-verification10
z310
compiler10
rust10
profiler10
programming-language9
rust-lang9
crate9
wasm-bindgen9
Programming languages (11)
Github contributions (5)
JonasAlaif/prusti-dev
Sep 2021 - Aug 2022
A static verifier for Rust, based on the Viper verification infrastructure.
Contributions:135 pushes, 29 branches in 10 months
rustsecurityverifierinfrastructureviper
JonasAlaif/suslik
Feb 2022 - Nov 2022
Synthesis of Heap-Manipulating Programs from Separation Logic
Contributions:140 commits, 120 pushes, 5 branches in 9 months
synthesisprogramsseparation-logicseparationheap
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.