Research output per year
Research output per year
Personal profile
Other information
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).
Language Skills:
Danish
English
Research areas
Logic
-Automated Reasoning
-Constraint Based Tools
-Natural Language Processing
-Security
Education/Academic qualification
PhD in Computer Science, Technical University of Denmark
1989 → 1995
MSc in Computer Science, Technical University of Denmark
1984 → 1989
External positions
Associate Professor, Technical University of Denmark
2006 → …
Associate Professor, Roskilde University
2002 → 2006
Assistant Professor, Technical University of Denmark
1999 → 2002
Software Engineer, Prolog Development Center
… → 1999
Keywords
- User defined:
Fingerprint
Dive into the research topics where Jørgen Villadsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Case Study in Computer-Assisted Meta-reasoning
From, A. H., Lund, S. T. & Villadsen, J., 2022, Distributed Computing and Artificial Intelligence: Special Sessions: 18th International Conference. González, S. R., Machado, J. M., González-Briones, A., Wikarek, J., Loukanova, R., Katranas, G. & Casado-Vara, R. (eds.). Springer, Vol. 2. p. 53-63 (Lecture Notes in Networks and Systems, Vol. 332).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Formal Methods Online: Sequent Calculus Verifier (SeCaV)
From, A. H., Jacobsen, F. K. & Villadsen, J., 2022. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Interactive Theorem Proving for Logic and Information
Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence. Springer, Vol. 999. p. 25-48 (Studies in Computational Intelligence, Vol. 999).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Open AccessFile120 Downloads (Pure) -
Lessons of Teaching Formal Methods with Isabelle
Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of Isabelle Workshop 2022. 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile14 Downloads (Pure) -
On Axiomatic Systems for Classical Propositional Logic
Eschen, A. M. & Villadsen, J., 2022, Proceedings of Isabelle Workshop 2022. 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile5 Downloads (Pure)
-
User-Friendly Formal Methods
Jacobsen, F. K., Villadsen, J. & Scalas, A.
01/07/2021 → 30/06/2024
Project: PhD
-
Formally Correct Deduction Methods for Computational Logic
From, A. H., Villadsen, J. & Gierasimczuk, N.
01/02/2020 → 31/01/2023
Project: PhD
-
Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J., Mödersheim, S. A., Gierasimczuk, N., Dix, J. & Traytel, D.
01/02/2019 → 09/06/2022
Project: PhD
-
Vertical Composition of Distributed Systems
Gondron, S. P. C., Mödersheim, S. A., Lluch Lafuente, A., Villadsen, J., Guttman, J. D. & Sprenger, C.
01/07/2018 → 30/09/2021
Project: PhD
-
Hospital Staff Planning with Multi-Agent Goals
Larsen, J. B., Villadsen, J., Carstens, N., Holst, C. K., Gierasimczuk, N., Rosendahl, M. & Dix, J.
01/09/2016 → 11/12/2019
Project: PhD