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

  • Meine derzeitige Forschung konzentriert sich auf die automatisierte Synthese von Softwarekompositionen auf der Grundlage kombinatorischer Logik sowie auf die Entwicklung und Anwendung eines Rahmens für komponentenbasierte Synthese CLS (Combinatory Logic Synthesizer).
  • Das Bewohnungsproblem im typisierten Lambda-Kalkül (mit Kreuzungstypen).

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