Ewaryst Schulz

I am a junior researcher at the group of Prof. Dr. Bernd Krieg-Brückner. My main research interests are the formalization of mathematics, mathematical assistant systems and the automation of mathematical reasoning.

• FormalSafe: I'm concerned here with the formalization of geometry and the formal verification of safety critical design processes in robotics. Here you can find some more information about this project.
• Omega is an interactive theorem proving environment. I am developing here the proof support such as the design of the proof language, the proof checker and proof strategies. Take a look on it.

E-mail:	ewaryst.schulz @ dfki.de
Address:	Ewaryst Schulz DFKI-Lab Bremen Cartesium, Enrique-Schmidt-Str. 5 28359 Bremen Germany
Telephone:	+49 421 218-64-274
Fax:	+49 421 218-98-64-274
Office:	Cartesium Building	Room 2.049