Tobias Nipkow#
| Membership Number: | 6149 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2022 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | http://www.in.tum.de/~nipkow |
| ORCID: | 0000-0003-0730-515X |
Present and Previous Positions
- 1982 - 1984 Research Assistant, Department of Computer Science, The University of Manchester
- 1984 - 1987 Lecturer, Department of Computer Science, The University of Manchester
- 1988 - 1989 Post-doctoral Associate, Laboratory for Computer Science, MIT
- 1989 - 1991 Research Associate, Computer Laboratory, University of Cambridge
- 1991 - 1992 Advanced SERC Fellow, Computer Laboratory, University of Cambridge
- 1992 - 2011 Professor for Theory of Programming, Department of Informatics, Technical University of Munich
- 2011 - now Professor for Logic and Verification, Department of Informatics, Technical University of Munich
Fields of Scholarship
- Logic
- Term rewriting
- Functional programming
- Proof assistants
- Semantics
- Automated theorem proving
- Verification
Honours and Awards
- Herbrand Award for Distinguished Contributions to Automated Reasoning, 2021 https://www.cadeinc.org/Herbrand-Award
