Jørgen Villadsen

Jørgen Villadsen

Associate Professor

Matematiktorvet, Building 322, Room 020

2800 Kgs. Lyngby

Denmark

Phone: 45253733

Jørgen Villadsen er ekspert i logik og dens anvendelser, specielt inden for kunstig intelligens, datalingvistik og datasikkerhed. Han arbejder i den forbindelse med både klassisk og ikke-klassisk logik, herunder højere-ordens-logik, der har væsentlige fordele i forbindelse med formalisering af visse domæner, blandt andet ordinær matematik, specifikation af software og hardware, samt computer-behandling af naturlige sprog som dansk og engelsk. Han har stor erfaring med logikprogrammering og automatiske bevisførere. Hans øvrige forskningstemaer omfatter modal-logik og constraint-teknikker.

Jørgen Villadsen er lektor ved Informatik og Matematisk Modellering (IMM). Han er uddannet civilingeniør på DTU i 1989 og ph.d. i 1995. Han var adjunkt på IMM i 1999-2002 og derefter lektor i datalogi på Roskilde Universitetscenter (RUC) indtil 1. juli 2006, hvor han vendte tilbage til IMM (Computer Science and Engineering). De tidligere ansættelser inkluderer Prolog Development Center A/S, Forsvarets Forskningstjeneste (FOFT), Tryg-Baltica A/S, Center for Sprogteknologi (CST) og UNI-C - Danmarks IT-Center for Uddannelse og Forskning.

Jørgen Villadsen har mere end 40 videnskabelige publikationer og er medredaktør af flere bøger og proceedings. Han har været medarrangør af adskillige internationale konferencer og workshops. Han er medlem af Association for Symbolic Logic (ASL).

Jørgen Villadsen har især undervist i logik, algoritmik, programmering og intelligente systemer. Han er endvidere studieleder for kandidatuddannelsen i informationsteknologi.

CV

Education

1984 - 1989 MSc in Computer Science - Technical University of Denmark
1989 - 1995 PhD in Computer Science - Technical University of Denmark

Academic grades

PhD

MSc

Professional experience

- 1999 Software Engineer - Prolog Development Center, Speech Solutions
1999 - 2002 Assistant Professor - Technical University of Denmark, Department of Informatics and Mathematical Modeling
2002 - 2006 Associate Professor - Roskilde University, Computer Science
2006 - Associate Professor - Technical University of Denmark, Department of Informatics and Mathematical Modeling

Languages

Danish, English

Expertise

Logic

-

Automated Reasoning

-

Constraint Based Tools

-

Natural Language Processing

-

Security

International experience

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).

My links

View graph of relations

View all »

View all »

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

Place of employment

Latest activities and conferences

ID: 2181749