Prof. Dr. Stephan Schulz

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.