THIS PAGE IS NOT MAINTAINED AFTER 1 JULY 2006 - PLEASE SEE imm.dtu.dk/~jv/
Associate Professor, PhD MSc
Computer Science - Roskilde University - Abbreviation RUC in Danish
INVITED TALK: On Intensional Type Theory. International Conference on Computational, Foundational and Philosophical Issues in Non-Standard Set Theories 2 June 2006, Kolding, Denmark
BOOK FORTHCOMING: Nabla: A Linguistic System based on Type Theory. Foundations of Communication and Cognition (N.S.) - LIT Verlag 224 Pages 2006
CALL FOR PAPERS: International Workshop Hybrid on Logic 2006 (HyLo 2006) - Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2006) - Federated Logic Conference (FLoC 2006) 10-22 August 2006, Seattle, USA
Current activities: CONTROL & HyLoMOL (projects funded by the Danish Research Agency) - Logic (collaboration between logicians in computer science and philosophy) - Nabla (long-term project in automated reasoning)
I am mainly interested in computational logic, understood as logic in computer science, in particular with respect to applications in intelligent systems, computational linguistics, and computer security:
My interests also include theoretical computer science, algorithms, programming languages, advanced databases, and information systems :-)
Almost all of my publications are available online - please see my CV for a complete list - and here are some of the most recent:
In particular I try to handle inconsistent information - also known as paraconsistency - and the best place to get an overview of my approach is probably my talk at a department research seminar in 2004: Paraconsistent Logic in AI
Courses: