Dr. Jørgen Villadsen

Biography

Jørgen Villadsen is an expert in logic and its applications, particularly in artificial intelligence, computational linguistics, and data security. His work involves both classical and non-classical logic, including higher-order logic which has significant advantages in formalizing certain domains such as ordinary mathematics, software and hardware specification, and the computer processing of natural languages like Danish and English. With extensive experience in logic programming and automated theorem proving, he investigates various themes, including modal logic and constraint techniques. He is an associate professor in the Department of Mathematics and Computer Science at the Technical University of Denmark. Villadsen has over 90 scientific publications and has co-edited several books and proceedings. He has co-organized numerous international conferences and workshops and is a member of the Association for Symbolic Logic. Jørgen has taught courses on logic, algorithms, programming, and intelligent systems, and is also the study leader for the master's program in information technology.

Research Interests

Experience