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.

Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn. Bildinformationen anzeigen
Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn. Bildinformationen anzeigen
Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn. Bildinformationen anzeigen
Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn. Bildinformationen anzeigen
Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn. Bildinformationen anzeigen

AStA-Sommerfestival

Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn.

Foto: Universität Paderborn, Nora Gold

AStA-Sommerfestival

Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn.

Foto: Universität Paderborn, Nora Gold

AStA-Sommerfestival

Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn.

Foto: Universität Paderborn, Nora Gold

AStA-Sommerfestival

Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn.

Foto: Universität Paderborn, Nora Gold

AStA-Sommerfestival

Herzlich willkommen zum AStA-Sommerfestival 2018 an der Universität Paderborn.

Foto: Universität Paderborn, Nora Gold

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