Prof. Dr. Stephan Schulz

Prof. Dr. Stephan Schulz

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.