If you made any changes in Pure these will be visible here soon.

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

19891995

MSc in Computer Science, Technical University of Denmark

19841989

External positions

Associate Professor, Technical University of Denmark

2006 → …

Associate Professor, Roskilde University

20022006

Assistant Professor, Technical University of Denmark

19992002

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 proceedingArticle in proceedingsResearchpeer-review

  • Formal Methods Online: Sequent Calculus Verifier (SeCaV)

    From, A. H., Jacobsen, F. K. & Villadsen, J., 2022. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

    Open Access
    File
    1 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 proceedingBook chapterResearchpeer-review

    Open Access
    File
    120 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 proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    14 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 proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    5 Downloads (Pure)