Prof. Dr. Christoph Benzmueller
Home | CHREST
Description: Personal Webpage of Marvin Schiller
stuttgart (4722) bosch (1484) schiller (99) marvin (89) renningen (43)
I am a Research Engineer for Cognitive Assistance Systems at Robert Bosch GmbH working in their research center in Renningen. My research encompasses knowledge representation and reasoning (in particular, knowledge modeling in ontologies and automated deduction), natural language processing (NLU and NLG) and cognitive modeling. While not at work, I pat whatever is in reach, review scientific papers and CVs, dance Salsa et al., and engage in various outdoor sports.
Office hours: with appointment, just phone me. If I am in, just come into my office. -->
The main research topic of Marvin Schiller is the mechanized analysis of qualitative aspects in mathematical proofs. One aspect of Marvin's current work concerns the step size ("granularity") of proofs in common mathematical practice, and whether this level of granulariy can be simulated by automated deduction systems. Marvin is a user of the OMEGA theorem proving environment. He also works on the integration of parts of the OMEGA system within the ActiveMath learning environment. In summer 2005, he partici
Prof. Dr. Christoph Benzmueller
Home | CHREST