About
Dr. Michael Kohlhase was a Former Visiting Professor at the International Center for Computational Logic (ICCL), part of the Faculty of Computer Science at TU Dresden. His research focuses on computational logic, automated reasoning, and formal methods. Key contributions include the development of proof assistants like Omega-MKRP and the KEIM toolkit for automated deduction.
Research Highlights:
- Advances in proof planning and adaptive automated deduction methods
- Development of formal software environments for interactive theorem proving
0Publications listed
Find Michael Kohlhase elsewhere
Related Searches
You Might Also Like
Andrei VoronkovDresden University of Technology · Visiting Professor- CChunping LiDresden University of Technology · Researcher
Christoph WeidenbachDresden University of Technology · Researcher
Maria Paola BonacinaDresden University of Technology · Visiting Professor- RRajeev GoréDresden University of Technology · Visiting Professor
- AAlessio GuglielmiDresden University of Technology · Researcher