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
-
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 AccessFile5 Downloads (Pure) -
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL *
From, A. H., Schlichtkrull, A. & Villadsen, J., 2021, Proceedings of the 36th Italian Conference on Computational Logic. CEUR-WS, p. 107-121 (CEUR Workshop Proceedings, Vol. 3002).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile10 Downloads (Pure) -
Formalized Soundness and Completeness of Epistemic Logic
From, A. H., Jensen, A. B. & Villadsen, J., 2021, Proceedings of International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning. 3 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL
From, A. H., Eschen, A. M. & Villadsen, J., 2021, Intelligent Computer Mathematics . Springer, p. 32-46 (Lecture Notes in Computer Science, Vol. 12833).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile28 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 → 14/02/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