Interests
- Automated reasoning, especially inductive theorem proving, difference reduction
techniques, proof-planning, abstractions, Logical Frameworks
- Software engineering, especially formal methods, tools supporting the formal software
development process
- Bringing deductive techniques and automated
reasoning into practice
- Development of
- The CORE system developed in my PhD Thesis
- The mathematical assistance system OMEGA
- The development graph manager MAYA
- The inductive theorem prover
INKA 5.0
|
Services to the Scientific Community
Warning: mysql_connect() [function.mysql-connect]: Client does not support authentication protocol requested by server; consider upgrading MySQL client in /home/serge/public_html/db_mysql.inc on line 75
|