Research output per year
Research output per year
Richard Petersens Plads, 322, 020
2800 Kgs. Lyngby
Denmark
Research activity per year
Centre for Mathematics and Computer Science (CWI), Amsterdam (6 months).
Dae Duck Electronics (IAESTE), South Korea (2 months).
European Organization for Nuclear Research (CERN), Geneve (3 months).
Davies's School of English (EUROCENTRES), London (1 month).
Institute of National Research Council of Italy (CNUCE), Pisa (2 months).
Logic
-Automated Reasoning
-Constraint Based Tools
-Natural Language Processing
-Security
PhD in Computer Science, Technical University of Denmark
1989 → 1995
MSc in Computer Science, Technical University of Denmark
1984 → 1989
Associate Professor, Technical University of Denmark
2006 → …Associate Professor, Roskilde University
2002 → 2006Assistant Professor, Technical University of Denmark
1999 → 2002Software Engineer, Prolog Development Center
… → 1999Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to conference › Paper › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to conference › Paper › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
From, A. H., Villadsen, J. & Gierasimczuk, N.
01/02/2020 → 31/01/2023
Project: PhD
Jensen, A. B., Villadsen, J. & Mödersheim, S. A.
01/02/2019 → 31/01/2022
Project: PhD
Larsen, J. B., Villadsen, J., Carstens, N., Holst, C. K., Gierasimczuk, N., Rosendahl, M. & Dix, J.
01/09/2016 → 11/12/2019
Project: PhD
Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.
01/10/2015 → 12/12/2018
Project: PhD
Schlichtkrull, A., Villadsen, J., Blanchette, J. C., Bolander, T., Mödersheim, S. A., Bengtson, J. & Nipkow, T.
Technical University of Denmark
15/09/2015 → 14/11/2018
Project: PhD