Franziska-Mueller
I'm a Research Scientist at Google Zurich, working on Augmented Reality.
Switzerland
Pinned Repositories
GW2-Raid-Bot
A Discord bot for organizing events for GW2
PGM-assignments
Repository for matlab part of the PGM assignments (winter term 15/16)
PGM-Assignment5
stlc-norm
Proof that STLC is normalizing in Fstar
Franziska-Mueller's Repositories
Franziska-Mueller/GW2-Raid-Bot
A Discord bot for organizing events for GW2
Franziska-Mueller/PGM-assignments
Repository for matlab part of the PGM assignments (winter term 15/16)