Institution. Aalborg University

link · aau.dk · ROR

People

Jonas Kastberg Hinrichsen jonaskastberghinrichsenAssistant Professor · Aalborg University
PhDIT University of Copenhagen
jihgfee.github.io · 0000-0001-6143-9031

Léon Gondelman leongondelmanAssistant Professor · Aalborg University
PhD advisorAndrei Paskevich, Jean-Christophe Filliâtre
PhDUniversité Paris Saclay
0000-0001-8262-6397 · https://github.com/leon-gondelman

Undergraduate alumni

Daniel Hillerström danielhillerstromSenior Software Engineer · Category Labs
PhD advisorJohn Longley, Sam Lindley
PhDUniversity of Edinburgh
Master’sUniversity of Edinburgh
UndergraduateAalborg University
dhil.net · 0000-0003-4730-9315 · https://github.com/dhil · @dhil@mathstodon.xyz
aalborg-university institution entries/institutions/aalborg-university.hel