Sebastian Ullrich

URI: https://gptkb.org/entity/Sebastian_Ullrich
GPTKB entity
Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:affiliation gptkb:Karlsruhe_Institute_of_Technology
gptkbp:field gptkb:programming_language
formal methods
theorem proving
https://www.w3.org/2000/01/rdf-schema#label Sebastian Ullrich
gptkbp:knownFor gptkb:Lean_theorem_prover
gptkbp:nationality gptkb:German
gptkbp:notableWork gptkb:Lean_4
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:bfsParent gptkb:Lean_4
gptkbp:bfsLayer 6