Kompetenzbereiche
- Automatische Deduktion
- Künstliche Intelligenz
- Sichere Software
- Air Traffic Control/ Air Traffic Management
Kontakt
stephan.schulz@dhbw-stuttgart.de / Telefon: 0711 / 1849– 4519
Technik
Branchennetzwerk
- Flugsicherung, Luftraumüberwachung und –planung
- Gesellschaft für Informatik (GI)
- Association for Automated Reasoning (AAR)
Stationen
- Comsoft GmbH - Entwickler und Projektleiter im Bereich Flugsicherung/ Air Traffic Management
Wissenschaft
Lehrgebiete
- Grundlagen der Informatik
- Funktionale Programmierung
- Logik und Deduktion
- Algorithmen und Datenstrukture
- Komplexitätstheorie
- Formale Sprachen und Automaten
Forschungs- und Kooperationsgebiete
- Automatische Deduktion/automatisches Theorembeweisen
- Suchprobleme und Suchheuristiken
- Maschinelles Lernen
Stationen
- Universität Kaiserslautern
- Technische Universität München - Wissenschaftlicher Mitarbeiter, Promotion
- University of Miami - Visiting Assistant Professor
Ausgewählte Publikationen
- Petar Vukmirović, Jasmin Christian Blanchette, Simon Cruanes and Stephan Schulz. Extending a brainiac prover to lambda-free higher-order logic. In: Proc. of 25th Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’19), volume 11427 of LNAI, pages 192-210, Springer, 2019
- Stephan Schulz and Martin Möhrmann. Performance of clause selection heuristics for saturation-based theorem proving. In Nicola Olivetti and Ashish Tiwari, editors, Proc. of the 8th IJCAR, Coimbra, volume 9706 of LNAI. Springer, 2016.
- Stephan Schulz. Simple and Efficient Clause Subsumption with Feature Vector Indexing. In Maria Paola Bonacina and Mark E. Stickel, editors, Automated Reasoning and Mathematics: Essays in Memory of William W. McCune, volume 7788 of LNAI, pages 45–67. Springer, 2013.
- Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, and Stephan Schulz. New Results on Rewrite-Based Satisfiability Procedures. ACM Transactions on Computational Logic, 10(1), 2009.
- Geoff Sutcliffe, Stephan Schulz, Koen Claessen and Allen Van Gelder. Using the TPTP Language for Writing Derivations and Finite Interpretations In: Proc. of the 3rd IJCAR, Seattle, volume 4130 of LNAI, pages 67–81, Springer, 2006.
- Stephan Schulz. E – A Brainiac Theorem Prover. Journal of AI Communications, 15(2/3):111–126, 2002.