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.

Im Juni 2018 sprach der britische Journalist und Redakteur Gary Younge vom „Guardian“ mit Interessierten unter anderem über Waffengewalt in Amerika. Bildinformationen anzeigen
Bei wissenschaftlichen Kolloquien steht der direkte Austausch im Fokus. Bildinformationen anzeigen
An der Universität Paderborn finden in allen Bereichen und zu vielfältigen Themen Kolloquien statt. Bildinformationen anzeigen
Weitere Informationen zu aktuellen Kolloquien und Terminen gibt es im Veranstaltungskalender auf der Webseite der Universität Paderborn. Bildinformationen anzeigen

Wissenschaftliches Kolloquium

Im Juni 2018 sprach der britische Journalist und Redakteur Gary Younge vom „Guardian“ mit Interessierten unter anderem über Waffengewalt in Amerika.

Foto: Universität Paderborn, Adelheid Rutenburges

Wissenschaftliches Kolloquium

Bei wissenschaftlichen Kolloquien steht der direkte Austausch im Fokus.

Foto: Universität Paderborn, Adelheid Rutenburges

Wissenschaftliches Kolloquium

An der Universität Paderborn finden in allen Bereichen und zu vielfältigen Themen Kolloquien statt.

Foto: Universität Paderborn, Adelheid Rutenburges

Wissenschaftliches Kolloquium

Weitere Informationen zu aktuellen Kolloquien und Terminen gibt es im Veranstaltungskalender auf der Webseite der Universität Paderborn.

Foto: Universität Paderborn, Adelheid Rutenburges

Dr. Lorijn van Rooijen

Kontakt
Vita
Publikationen
Dr. Lorijn van Rooijen

Datenbank- und Informationssysteme

Wissenschaftliche Mitarbeiterin

Telefon:
(+49) (0)5251 60-6839
Fax:
+49 5251 60-5465202
Büro:
FU.335
Besucher:
Fürstenallee 11
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), pp. 379-385. (2017)

Marcel Wever, Lorijn van Rooijen, Heiko Hamann: Active Coevolutionary Learning of Requirements Specifications from Examples. In Genetic and Evolutionary Computation Conference (GECCO), pp1327-1334. 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), pp. 3-9. (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 Zetzsche: A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics and Theoretical Computer Science (DMTCS), vol. 19, no. 4. (2017) [Link]

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