Personal information
Germany
Biography
I'm not in academia anymore.
I was working on formalizing mathematics in interactive theorem provers. I worked with Isabelle (http://isabelle.in.tum.de/) and Lean (http://leanprover.github.io/).
Activities
Employment (3)
2017-11
to
2019-03-31
|
Researcher
(Department of Computer Science)
Employment
Source:
Johannes Hölzl
2017-02
to
2017-09
|
Researcher
(Department of Philospohy)
Employment
Source:
Johannes Hölzl
2009
to
2017-01
|
Researcher
(Department of Informatics)
Employment
Source:
Johannes Hölzl
Education and qualifications (2)
2009
to
2013
|
Dr. rer. nat.
(Department of Informatics)
Education
Source:
Johannes Hölzl
2004
to
2009
|
Diploma
(Department of Informatics)
Education
Source:
Johannes Hölzl
Works (21)
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Source:
Johannes Hölzl
grade
Preferred source
(of
2)
Source:
Johannes Hölzl
Interactive Theorem Proving (ITP 2015)
2015
|
Conference paper
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Algebra and Coalgebra in Computer Science (CALCO 2013)
2013
|
Conference paper
Source:
Johannes Hölzl
Interactive Theorem Proving (ITP 2013)
2013
|
Journal article
Source:
Johannes Hölzl
2012
|
Dissertation or Thesis
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Source:
Johannes Hölzl
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)
2012
|
Conference paper
Source:
Johannes Hölzl
Interactive Theorem Proving (ITP 2011)
2011
|
Conference paper
Source:
Johannes Hölzl
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
2010
|
Conference paper
Source:
Johannes Hölzl
Proceedings of the ACM SIGSAM 2009
International Workshop on Programming Languages for Mechanized
Mathematics Systems (PLMMS'09)
2009
|
Conference paper
Source:
Johannes Hölzl
2009
|
Supervised student publication
Source:
Johannes Hölzl