Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | United States of America |
|---|---|
| City | Pittsburgh |
| Institution | Carnegie Mellon University |
| Institute | School of Computer Science |
Profile
| Research fields | Theoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory,Theoretical Philosophy |
|---|---|
| Keywords | Logik in der Informatik, Informationssicherheit, Programmiersprachen, Typtheorie, Automatisches Beweisen |