Markus Wenzel
E238249
Markus Wenzel is a computer scientist best known as the primary developer of the Isabelle proof assistant.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Makarius Wenzel | 1 |
| Markus Wenzel canonical | 1 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
software developer ⓘ |
| activeIn |
21st century
ⓘ
late 20th century ⓘ |
| affiliation |
Technical University of Munich
ⓘ
surface form:
TU Munich Isabelle group
Technical University of Munich ⓘ
surface form:
Technische Universität München
|
| basedIn | Munich ⓘ |
| contributedTo |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
ⓘ
surface form:
Isabelle/HOL
|
| countryOfCitizenship | Germany ⓘ |
| developerOf |
Isabelle IDE based on jEdit
ⓘ
Isabelle document preparation system ⓘ Isar proof language ⓘ |
| educatedAt |
Technical University of Munich
ⓘ
surface form:
Technische Universität München
|
| fieldOfWork |
formal methods
ⓘ
interactive theorem proving ⓘ proof assistants ⓘ |
| hasResearchInterest |
LCF-style theorem proving
ⓘ
document-oriented proof development ⓘ formal verification ⓘ higher-order logic ⓘ interactive proof development ⓘ logical frameworks ⓘ proof automation ⓘ |
| hasWritten |
Isabelle system manuals
ⓘ
documentation for Isabelle ⓘ scientific papers on Isabelle ⓘ tutorials on Isabelle/Isar ⓘ |
| knownFor | Isabelle proof assistant ⓘ |
| languageDesigned | Isar ⓘ |
| nationality | German ⓘ |
| notablePublication |
Isar proof language
ⓘ
surface form:
Isabelle/Isar – A Versatile Environment for Human-Readable Formal Proof Documents
Isabelle proof assistant ⓘ
surface form:
Isar – A Generic Interpretative Approach to Readable Formal Proofs
Isabelle/Isar Reference Manual ⓘ
surface form:
The Isabelle/Isar Reference Manual
|
| notableWork |
Isabelle system integration
ⓘ
Isar proof language ⓘ
surface form:
Isabelle/Isar
Isabelle/ML ⓘ Isabelle/jEdit ⓘ |
| occupation |
computer scientist
ⓘ
software engineer ⓘ |
| primaryDeveloperOf | Isabelle proof assistant ⓘ |
| softwareProject |
Isabelle
ⓘ
Isar proof language ⓘ
surface form:
Isabelle/Isar
Isabelle/ML infrastructure ⓘ Isabelle/jEdit ⓘ |
| worksOn |
Isabelle distribution
ⓘ
Isabelle ⓘ
surface form:
Isabelle documentation
Isabelle infrastructure ⓘ Isabelle user interfaces ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Isabelle
this entity surface form:
Makarius Wenzel