Photo of Jørgen Villadsen

Jørgen Villadsen

  • Richard Petersens Plads, 322, 020

    2800 Kgs. Lyngby

    Denmark

1989 …2021

Research activity per year

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.
  • 10 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.