- Logic
- Artificial Intelligence
- Multi-Agent Systems
- +۵ مورد دیگر
Roles and Affiliations: Jørgen Villadsen is an Associate Professor at the Technical University of Denmark (DTU), affiliated with the Department of Applied Mathematics and Computer Science and the Algorithms, Logic and Graphs Section. He serves as Head of Study and focuses on formal logic, multi-agent systems, and computer science education. Education: MSc in Computer Science and Engineering (1989, DTU) and PhD in Computer Science (1995, DTU). Research Interests: Villadsen’s work centers on logic and its applications in computer science and artificial intelligence, including formal methods, multi-agent systems, type theory, and non-classical logics. He emphasizes the development of proof assistants like Isabelle and tools for teaching logic and formal reasoning. Recent Research Trends: His publications from 2020–2017 highlight contributions to logic education, automated reasoning, and multi-agent system design. Key areas include Isabelle-based proof systems, hybrid logic formalization, and competitive agent development in programming contests. Scientific Contributions: He has led teams in the Multi-Agent Programming Contest, published extensively in journals like Annals of Mathematics and Artificial Intelligence , and contributed to open-source tools like NaDeA and SPA. Grants and Projects: Involved in projects such as CONTROL (constraint-based language processing) and HyLoMOL (hybrid logic integration). Supervised numerous MSc and PhD students in multi-agent systems and formal methods. Labs/Teams: Active in the Multi-Agent Systems Lab, leading development of agents for competitions and educational tools. Collaborates internationally on logic, AI, and formal verification.






