FB 3

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, Beweisassistenzsystemen und der Automatisierung der Beweisführung.

Projekte:

FormalSafe: Ich beschäftige mich hier vor allem mit der Formalisierung der Geometrie zur anschließenden formalen Verifizierung von sicherheitsrelevanten Eigenschaften von Robotern. Informationen zum Projekt gibt es hier.
Hets: the Heterogeneous tool set. Hier werden Werkzeuge zum Umgang mit algebraischen Spezifikationen zur Verfügung gestellt wie z.B. Schnittstellen zu automatischen und interaktiven Beweisern oder eine grafische Oberfläche zur Visualisierung von heterogenen Entwicklungsgraphen. Ich arbeite unter anderem an der OMDoc-Hets-Schnittstelle und entwickele die Spezifikationssprache für Ingenieursberechnungen EnCL um darin Berechnungsmethoden von Industrienormen zu formalisieren. Diese Sprache ist als Logikknoten in Hets integriert.
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.

Publikationen:

[1]	Dominik Dietrich, Lutz Schröder, and Ewaryst Schulz. Formalizing and operationalizing industrial standards. In Dimitra Giannakopoulou and Fernando Orejas, editors, Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, pages 81-95. Springer Berlin / Heidelberg, 2011. 10.1007/978-3-642-19811-3_7. [ bib \| DOI \| .pdf ]
[2]	Michael Kohlhase, Johannes Lemburg, Lutz Schröder, and Ewaryst Schulz. Formal management of cad/cam processes. In Ana Cavalcanti and Dennis Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, volume 5850 of Lecture Notes in Computer Science, pages 223-238. Springer, 2009. [ bib \| DOI \| .pdf ]
[3]	Dominik Dietrich and Ewaryst Schulz. Crystal: Integrating structured queries into a tactic language. Journal of Automated Reasoning, 2009. [ bib \| DOI ]
[4]	Dominik Dietrich, Ewaryst Schulz, and Marc Wagner. Authoring verified documents by interactive proof construction and verification in text-editors. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, and Freek Wiedijk, editors, AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, pages 398-414. Springer, 2008. [ bib \| DOI \| .pdf ]
[5]	Dominik Dietrich and Ewaryst Schulz. CRStL: A declarative language for the encoding of proof techniques. In Workshop on Programming Languages for Mechanized Mathematics Systems , Birmingham, UK, 2008. [ bib \| .pdf ]

Vorträge:

Dominik Dietrich, Lutz Schröder, and Ewaryst Schulz. Formalizing and Operationalizing Industrial Standards. 14th International Conference on Fundamental Approaches to Software Engineering, Saarbrücken, Germany, March 30 2011 FASE 2011. [ slides | slideshare ]
Dominik Dietrich, Lutz Schröder, and Ewaryst Schulz. Industrial Standards, Computer Algebra, and Formal Verification. 20th International Workshop on Algebraic Development Techniques WADT 2010. [ slides | slideshare ]
Ewaryst Schulz. The OMDoc Import/Export of Hets. Content Math Training Camp. 2010. [ slides | slideshare ]

Koordinaten:

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

Autor: Ewaryst Schulz

AG BKB

Zuletzt geändert am: 2. Februar 2011