Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results

dmueller.md

Blame
    • dmueller.md 869 B 
    layout: person

title: Dennis Müller
fullname: Dr. Dennis Müller
pic: public/images/dmueller.jpg

role: postdoc
start_date: 2015-04

publink: auto

affiliation: Computer Science, FAU Erlangen-Nürnberg
website: http://blog.logicalphalluses.net/

    Description

    PostDoc (Thesis 10/2019: Mathematical Knowledge Management Across Formal Libraries)

    B.Sc. and M.Sc. in mathematics with focus on model theory and axiomatic set theory from University Freiburg.

    Primarily working on knowledge management across systems, libraries and foundations. Interested in foundations of mathematics and formal languages.

    Currently at University of Innsbruck (12/2019-6/2020), working with Cezary Kaliszyk.

    Contact

    Email: "d." + lastname.replace("ü","ue") + "@" + this.domain