Institution. Technical University of Darmstadt

link · tu-darmstadt.de · ROR

People

Andrés Goens andresgoensTechnical University of Darmstadt
goens.org · https://github.com/goens/

Ulrich Kohlenbach ulrichkohlenbachProfessor of Mathematics · Technical University of Darmstadt
PhD advisorHorst Luckhardt
PhD studentsPaulo Oliva
PostdocsUlrik Buchholtz
PhDGoethe University Frankfurt
Master’sGoethe University Frankfurt
www2.mathematik.tu-darmstadt.de/~kohlenbach

PhD alumni

Jonathan Weinberger jonathanweinbergerAssistant Professor in computer science and mathematics · Chapman University
PhD advisorThomas Streicher
Postdoc advisorBenedikt Ahrens, Emily Riehl, Viktoriya Ozornova
PhDTechnical University of Darmstadt
Master’sTechnical University of Darmstadt
UndergraduateTechnical University of Darmstadt
sites.google.com/view/jonathanweinberger · 0000-0003-4701-3207 · https://github.com/jonweinb

Master’s alumni

Johannes Hartmann johanneshartmannUniversity of Oxford
Master’sTechnical University of Darmstadt
0000-0003-2671-4194

Jonathan Weinberger jonathanweinbergerAssistant Professor in computer science and mathematics · Chapman University
PhD advisorThomas Streicher
Postdoc advisorBenedikt Ahrens, Emily Riehl, Viktoriya Ozornova
PhDTechnical University of Darmstadt
Master’sTechnical University of Darmstadt
UndergraduateTechnical University of Darmstadt
sites.google.com/view/jonathanweinberger · 0000-0003-4701-3207 · https://github.com/jonweinb

Undergraduate alumni

Jonathan Weinberger jonathanweinbergerAssistant Professor in computer science and mathematics · Chapman University
PhD advisorThomas Streicher
Postdoc advisorBenedikt Ahrens, Emily Riehl, Viktoriya Ozornova
PhDTechnical University of Darmstadt
Master’sTechnical University of Darmstadt
UndergraduateTechnical University of Darmstadt
sites.google.com/view/jonathanweinberger · 0000-0003-4701-3207 · https://github.com/jonweinb

Formerly here

Frank Pfenning frankpfenningProfessor of Computer Science · Carnegie Mellon University
PhD advisorPeter B. Andrews
PhD studentsBernardo Toninho, CB Aberle, Chris Martens, Henry DeYoung, Jana Dunfield, Noam Zeilberger, Rowan Davies
PhDCarnegie Mellon University
Master’sCarnegie Mellon University
cs.cmu.edu/~fp

Johannes Hartmann johanneshartmannUniversity of Oxford
Master’sTechnical University of Darmstadt
0000-0003-2671-4194

Jonathan Weinberger jonathanweinbergerAssistant Professor in computer science and mathematics · Chapman University
PhD advisorThomas Streicher
Postdoc advisorBenedikt Ahrens, Emily Riehl, Viktoriya Ozornova
PhDTechnical University of Darmstadt
Master’sTechnical University of Darmstadt
UndergraduateTechnical University of Darmstadt
sites.google.com/view/jonathanweinberger · 0000-0003-4701-3207 · https://github.com/jonweinb

Ulrik Buchholtz ulrikbuchholtzAssistant Professor · University of Nottingham
PhD advisorSolomon Feferman
Postdoc advisorGerhard Jäger, Steve Awodey, Thomas Streicher, Ulrich Kohlenbach
PhDStanford University
Master’sUniversity of Copenhagen
UndergraduateUniversity of Copenhagen
ulrikbuchholtz.dk · 0000-0002-5944-6838 · https://github.com/UlrikBuchholtz/ · @buchholtz@mathstodon.xyz

Yufang Hou yufanghouInterdisciplinary Transformation University Austria
yufanghou.github.io · https://github.com/yufanghou
technical-university-of-darmstadt institution entries/institutions/technical-university-of-darmstadt.hel