Zum Navigationspfad Unterseiten von „Team“ Zur Navigation Zum Schnellzugriff Zum Fuß der Seite mit weiteren Services
Zum Inhalt
Logo - Arbeitsgruppe Software Engineering by Algorithms and Logic (SEAL)
Fakultät für Informatik
ITMC: Ein großes, braun-rot verklinkertes Gebäude mit Flachdach aus der Froschperspektive fotografiert. Davor eine Straße, auf der ein Auto fährt. Andere Autos stehen am Straßenrand hintereinander geparkt. © Nikolas Golsch​/​TU Dortmund
Lehrstuhlinhaber

Prof. Dr. Jakob Rehof

E-Mail senden

Telefon: (+49)231 755-7951

Fax: (+49)231 755-7936

Adresse:
Technische Universität Dortmund
Fakultät für Informatik
Lehrstuhl für Software Engineering (LS14)
Otto-Hahn-Str. 12
44227 Dortmund
Deutschland

Raum: OH12, 2.011
Sprechzeiten: Nach Vereinbarung

Jakob Rehof - Profilbild © SEAL

Forschungsschwerpunkte

  • Algorithmen und Komplexität in Typtheorie und Logik
  • Programmsynthese in Verbindung mit Simulation, Optimierung und maschinellem Lernen
  • Verifikation und vertrauenswürdige KI

Lehrveranstaltungen

  • Funktionale Programmierung
  • Modellierung Nebenläufiger Prozesse
  • Proseminar Einführung in die Kategorientheorie
  • Logische Methoden des Software Engineering 1
  • Logische Methoden des Software Engineering 2

Konferenzen und Events

  • FSCD 2021 (PC member): International Conference on Formal Structures for Computation and Deduction, July 17-24, virtual Buenos Aires, Argentina.
  • Dagstuhl Seminar 19391 Data Ecosystems (co-organizer): Sovereign Data Exchange among Organizations 2019.
  • FSCD 2019 (Conference Chair): International Conference on Formal Structures for Computation and Deduction, June 24-30, Dortmund, Germany.
  • Dagstuhl Workshop der Graduiertenkollegs (co-organizer), Schloss Dagstuhl 2018.
  • SAS 2018 (PC member):  Static Analysis Symposium, August 29 - August 31 2018, Freiburg, Germany.
  • ISOLA 2016 (PC member): 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Corfu, Greece, October 5-14 2016.
  • ITRS 2016 (PC member): Eighth Workshop on Intersection Types and Related Systems, 26 June 2016, Porto, Portugal. Affiliated with FSCD 2016.
  • TYPES 2016 (PC member): 22nd International Conference on Types for Proofs and Programs, 23-26 May 2016, Novi Sad, Serbia.
  • FSCD 2016 (PC member): 1st International Conference on Formal Structures for Computation and Deduction (FSCD) to be held in Porto, Portugal, 22 - 26 June 2016.
  • ICALP 2016 (PC member): 43rd International Colloquium on Automata, Languages, and Programming. July 11-15, 2016, Rome, Italy.
  • MKWI 2016 (PC member): Multikonferenz Wirtschaftsinformatik, Ilmenau, Germany, 9-11 March 2016.
  • ModSyn-PL 2015 (Co-chair with George T. Heineman): Modular Synthesis of Product Lines, Workshop affiliated with SPLC 2015, 19th International Software Product Line Conference, July 20 2015, Nashville TN.
  • SEFM 2015 (PC member): 13'th International Conference on Software Engineering and Formal Methods, September 7-11, York, UK, 2015.
  • BEAT 2014 (PC member): 3rd International Workshop on Behavioural Types. September 1st, 2014, Rome, Italy. Affiliated to CONCUR 2014.
  • Dagstuhl Seminar 14232, "Design and Synthesis from Components" (Co-organizer with Moshe Y. Vardi), Schloss Dagstuhl, June 1-6, 2014.
  • ITRS 2014 (PC chair): Intersection Types and Related Systems, affiliated with TLCA 2014, July 18, 2014, Vienna, Austria. Part of the Vienna Summer of Logic (VSL) 2014.
  • RTA-TLCA 2014 (PC member): Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications July 14-17, 2014, Vienna, Austria. Part of the Vienna Summer of Logic (VSL) 2014.
  • SEFM 2014 (PC member): 12th International Conference on Software Engineering and Formal Methods September 1-5, 2014, Grenoble, France.
  • SEFM 2013 (PC member): 11th International Conference on Software Engineering and Formal Methods September 25-27, 2013, Madrid, Spain.
  • BEAT 2013 (PC member): 1st International Workshop on Behavioural Types. January 22, 2013, Rome, Italy. Collocated with POPL 2013.
  • FMICS 2012 (PC member): 17th International Workshop on Formal Methods for Industrial Critical Systems Paris (France), August 27-28, 2012.
  • OOPSLA 2010 (PC member): Reno, 2010.
  • PLDI 2010 (External review committee member): Programming Language Design and Implementation, Toronto, Canada, June 5-10, 2010.
  • SAS 2009 (PC member): International Static Analysis Symposium, August 9-11, 2009, Los Angeles, CA, USA.
  • FMICS 2009 (PC member): International Workshop on Formal Methods for Industrial Critical Systems, November 2-3, 2009, Eindhoven, Netherlands.
  • TACAS 2008 (PC Co-chair): Tools and Algorithms for the Construction of Systems. 29 March - 6 April, 2008, Budapest, Hungary.
  • CAV 2007 (PC member): Computer Aided Verification, 19th International Conference. July 3-7, 2007, Berlin, Germany.
  • TACAS 2007 (PC member): Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Braga, Portugal, March 24 - April 1, 2007.
  • POPL 2007 (PC member): The 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Nice, France, Acropolis Conference Center. January 17-19, 2007.
  • FLoC 2006 (Conference co-chair): The 2006 Federated Logic Conference. The Seattle Sheraton Hotel and Towers, Seattle, Washington, August 10-22, 2006.
  • ICALP 2006 (PC member, Track B): 33rd International Colloquium on Automata, Languages and Programming. Venice, Italy, July 9-16, 2006.
  • AVoCS 2005 (PC member): Fifth International Workshop on Automated Verification of Critical Systems. University of Warwick, UK, 12-13 September 2005.
  • FIT 2005 (Co-organizer): Foundations of Interface Technologies, Sunday August 21, 2005 San Francisco, USA (a sattelite workshop to CONCUR 2005).
  • CAV 2005 (PC member): 17th International Conference on Computer Aided Verification. The University of Edinburgh, Scotland, UK, July 6 - 10 , 2005.
  • PLDI 2004 (PC member): ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. Washington, DC June 9-11, 2004.
  • TACAS 2004 (PC member): Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems. March 29 - April 2, 2004 Barcelona, Spain. A member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2004).
  • FMPPTA 2003 (PC member): 8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications. April 22-26, 2003 Nice Acropolis Convention Center Nice, France. To be held in conjunction with the 17th International Parallel & Distributed Processing Symposium (IPDPS'2003)
  • PEPM 2002 (PC member): 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02) Portland, Oregon, USA, January 14-15, 2002
  • Fourth International Workshop on Set Constraints and Constraint-based Program Analysis, Pisa, Italy, October 30, 1998

Professionelle Tätigkeiten

  • Mitglied des Redaktionsausschusses von CACM, Communications of the ACM, und Co-Vorsitzender der Special Sections.

  • Mitglied des Lenkungsausschusses der FSCD, International Conference on Formal Structures for Computation and Deduction.

  • Mitglied des Lenkungsausschusses von ITRS, International Workshop on Intersection Types and Related Systems.

  • Sprecher des DFG-Graduiertenkollegs 2193 zum Thema Adaptionsintelligenz von Fabriken in einer dynamischen und komplexen Umgebung, 2016-2025.

Zum Seitenanfang