Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Willkommen an der Universität Paderborn. Bildinformationen anzeigen
Seit 45 Jahren gibt es den Hochschulstandort und den Campus der Universität Paderborn. Bildinformationen anzeigen
Zum Wintersemester 2017/18 lernen, arbeiten und forschen insgesamt ca. 19.700 Studierende (vorläufiger Stand: 28. September 2017) auf dem Campus der Universität Paderborn. Bildinformationen anzeigen
Der Uni-Campus: Im Frühjahr und Sommer viel Grün – im Herbst ein buntes Blättermeer. Bildinformationen anzeigen
Ob Grundlagenforschung oder angewandte Wissenschaft – an der Universität Paderborn werden junge Menschen für die Zukunft ausgebildet. Bildinformationen anzeigen

Start ins Wintersemester 2017/18

Willkommen an der Universität Paderborn.

Foto: Universität Paderborn, Adelheid Rutenburges

Start ins Wintersemester 2017/18

Seit 45 Jahren gibt es den Hochschulstandort und den Campus der Universität Paderborn.

Foto: Universität Paderborn, Adelheid Rutenburges

Start ins Wintersemester 2017/18

Zum Wintersemester 2017/18 lernen, arbeiten und forschen insgesamt ca. 19.700 Studierende (vorläufiger Stand: 28. September 2017) auf dem Campus der Universität Paderborn.

Foto: Universität Paderborn, Adelheid Rutenburges

Start ins Wintersemester 2017/18

Der Uni-Campus: Im Frühjahr und Sommer viel Grün – im Herbst ein buntes Blättermeer.

Foto: Universität Paderborn, Adelheid Rutenburges

Start ins Wintersemester 2017/18

Ob Grundlagenforschung oder angewandte Wissenschaft – an der Universität Paderborn werden junge Menschen für die Zukunft ausgebildet.

Foto: Universität Paderborn, Adelheid Rutenburges

Dr. Lorijn van Rooijen

Kontakt
Vita
Publikationen

Datenbank- und Informationssysteme

Wissenschaftliche Mitarbeiterin

Telefon:
05251-5465218
Fax:
+49 5251 60-5465202
Büro:
ZM1.03-09
Besucher:
Zukunftsmeile 1
33102 Paderborn
Postanschrift:
Warburger Str. 100
33098 Paderborn

2015 - heute

Post-doc in SFB 901 On the fly Computing

Universität Paderborn

In the first semester of 2017, I teach the course Logik und Deduktion for bachelor students in Computer Science.

2011 - 2014

PhD, Computer Science (tres honorable)

Universite de Bordeaux, Laboratoire Bordelais de Recherche en Informatique (LaBRI)

Supervisor: Prof. Marc Zeitoun.

Dissertation: A combinatorial approach to the separation problem for regular languages.
 

2009 - 2011

MSc, Mathematics (cum laude)

Radboud Universiteit Nijmegen

MSc Thesis: Generalised Kripke Semantics for Various Substructural Logics.

01/2010 - 06/2010

Mathematics

Exchange student at Université Paris-Diderot (Paris VII), taking master courses in Logic and Computational Linguistics.

2004 - 2009

BSc, Mathematics (cum laude)

Radboud Universiteit Nijmegen

2003 - 2006

BSc, Nutrition and Health (cum laude)

Wageningen Univeristeit en Researchcentrum

Conference Papers

Lorijn van Rooijen, Frederik Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, Gregor Engels: From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.  In Fourth International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'17). To appear (2017)

Marcel Wever, Lorijn van Rooijen, Heiko Hamann: Active Coevolutionary Learning of Requirements Specifications from Examples. In Genetic and Evolutionary Computation Conference (GECCO). To appear - Best Paper Award (2017)

Lorijn van Rooijen, Heiko Hamann: Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In Third International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'16) (2016)

Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun: A Note on Decidable Separability by Piecewise Testable Languages. In Fundamentals of Computation Theory (FCT) - 20th International Symposium. Springer, Lecture Notes in Computer Science, vol. 9210, pp. 173-185 (2015) [Link]


Thomas Place, Lorijn van Rooijen, Marc Zeitoun: Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages. In 33nd International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs, vol. 24, pp. 363-375 (2013) [Link]

Thomas Place, Lorijn van Rooijen, Marc Zeitoun: Separating Regular Languages by Piecewise Testable and Unambiguous Languages. In Mathematical foundations of computer science (MFCS). Springer, Heidelberg, Lecture Notes in Computer Science, vol. 8087, pp. 729-740 (2013) [Link]

Journal Papers

Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetsche: A Characterization for Decidable Separability by Piecewise Testable Languages. Accepted in Discrete Mathematics and Theoretical Computer Science.

Thomas Place, Lorijn van Rooijen, Marc Zeitoun: On Separation by Locally Testable and Locally Threshold Testable Languages. In Logical Methods in Computer Science, vol. 10, no. 3. (2014) [Link]

Dion Coumans, Mai Gehrke, Lorijn van Rooijen: Relational Semantics for Full Linear Logic. In Journal of Applied Logic, vol. 12, no. 1, pp. 50-66. (2014) [Link]

Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen: Generalized Kripke Semantics for the Lambek-Grishin Calculus. In Logic Journal of the IGPL, vol. 20, no. 6, pp. 1110-1132. (2012) [Link]

 

Theses

Lorijn van Rooijen: A Combinatorial Approach to the Separation Problem for Regular Languages. PhD thesis, Université de Bordeaux (2014) [Link]

Lorijn van Rooijen: Generalized Kripke Semantics for Various Substructural Logics. Master thesis, Radboud Universiteit Nijmegen (2011) [Link]

Lorijn van Rooijen: A Cayley-Hamilton-type theorem for locally finite polynomial endomorphisms. Bachelor thesis, Radboud Universiteit Nijmegen (2009)

Lorijn van Rooijen: Magnesium and colorectal cancer: etiology and epidemiology. Bachelor thesis, Wageningen University and Research Centre (2006)

Die Universität der Informationsgesellschaft