Ewaryst Schulz

Ich arbeite als Wissenschaftler in der Arbeitsgruppe von Prof. Dr. Bernd Krieg-Brückner. Mein Interesse gilt vor allem der Formalisierung von Mathematik, Beweisassitenzsystemen und der Automatisierung der Beweisführung.

• FormalSafe: Ich beschäftige mich hier vor allem mit der Formalisierung der Geometrie zur anschliessenden formalen Verifizierung von sicherheitsrelevanten Eigenschaften von Robotern. Informationen zum Projekt gibt es hier.
• Omega: Es handelt sich hierbei um ein mathematisches Assistenzsystem zum interaktiven und automatischen Beweisen von mathematischen Aussagen. Ich bin hier Teil des Entwicklerteams und kümmere mich unter anderem um die Beweissprache und den Proof Checker. Schau mal rein.

E-mail:	ewaryst.schulz @ dfki.de
Anschrift:	Ewaryst Schulz DFKI-Lab Bremen Cartesium, Enrique-Schmidt-Str. 5 28359 Bremen
Telefon:	0421/218-64274
Fax:	0421/218-98-64274
Büro:	Gebäude Cartesium	Raum 2.049