Tutors Biogs

Frank Dignum is an associate professor at UU since 2000 and has been working in the field of agents and e-commerce at Eindhoven University of technology before since 1993. During that period he has been manager of the FP5 project MEMO which developed a tool for mediating and monitoring business transactions between SME's. He is a member of the program committee of many workshops and conferences in the area of agent research. He has also co-organized several workshops in the area of agents and e-commerce and agent communication. In both areas he has also edited several books and written many papers. He was coordinating a working group on agent mediated e-commerce in the AgentLink Network of Excellence.
He has been a visiting professor for PhD courses at UPC for several years, has been an invited professor at the University of Melbourne and an adjunct professor at the Union Institute of Ohio.
He has also taught the at the European Summer School on Agent Systems in 2002 and 2003 as well as in the Agent Systems School in Melbourne in 2003. And he has given several invited lectures at international conferences.


Ann Now received a Master in Mathematics from the University of Ghent in 1987 and a PhD in Computer Science in 1994 from the Vrije Universiteit Brussel in collaboration with Queen Mary and Westfield College, University of London.
The title of her PhD is "The synthesis of safe fuzzy controllers based on reinforcement learning" and is located in the intersection of Computer Science ( A.I, machine learning), Control Theory (Fuzzy Control) and Mathematics (Numerical Analysis, Stochastic Approximation). After a period of 3 years as senior research assistant at the VUB, she became a Postdoctoral Fellow of the Fund for Scientific Research-Flanders (F.W.O.).
Now, she is an assistant-professor in the Computer Science Department of the Science Faculty as well as the Engineering Faculty of the Vrije Universiteit Brussel. Besides teaching Algorithms and Data Structures, and Formal language Theory to the undergraduate students, she is teaching a Machine Learning and a Multi-agent course to the Master students.


Andrea Omicini is Associate Professor at the DEIS, the Department of Computer Science and Engineering of the University of Bologna, site of Cesena. He received his Laurea degree in Electronic Engineering in February 1991 and his PhD in Computer Science in November 1995, both from the University of Bologna.
He has written over seventy articles on programming languages, coordination models and languages, Internet technologies, and agent-based models and systems, published in international journals, books, conferences and workshops. He edited seven international books on agent-related issues and complex system coordination, and guest edited five international journal's special issues on coordination models and infrastructures, agent models, and declarative languages and technologies.
He has held several tutorials on agent-based systems and coordination models at international conferences. He has organized and chaired several international co.nferences and workshops .
Currently, he is the Program Chair of the following international conferences / workshops: ESAW 2004, DALT 2004, NETTAB 2004, TAPOCS 2004, ACM SAC 2005. He has been and currently is also a member of the Scientific or Program Committees of many international and national conferences and workshops. He is member of ACM, IEEE, AI*IA and GULP. He is currently the Chair of the SIG on Agents and Multi-Agent Systems of the Italian Association for Artificial Intelligence (AI*IA), and is Member of the Directive Council of the Italian Association for Logic Programming (GULP, affiliated to ALP). He is member of the Editorial Board of ACM "Applied Computing Review", and member of the Scientific Committee of the italian journal "Intelligenza Artificiale".
He has participated to many national and international projects. Currently, he is Associate Investigator of the DEIS Unit for the MIPAF 3-years National Project "SIPEAA", and Chair for the Working Group "Software Aziendale". He is Associate Investigator of COFIN 2003 Project "Trust and law in the Information Society. Fostering and protecting trust in the market, in the institutions and in the technological infrastructure". In the europen context, he is currently a member of the Management committe of FP6 Coordination Action "AgentLink III: A Coordination Network for Agent-based Computing", where he is also the Coordinator of the Workpackage 5 "Technical Forum". He has been directly involved in many activities aimed at designing and implementing a number of technologies and systems, both as research products and as project deliverables. Currently, he is chairing the development of the following Open Source technologies: TuCSoN (http://tucson.sourceforge.net/), an Internet-based Infrastructure for the Coordination of Open and Distributed Multi-agent Systems, and tuProlog (http://tuprolog.sourceforge.net/), a Prolog for Distributed Java-based Environments.


Dr. Michal Pechoucek is a head of Agent Technology Group at the Gerstner Laboratory, Czech Technical University (CTU). He is also a senior lecturer in Artificial Intelligence and Multi-Agent Systems at CTU.
Michal Pechoucek is/was a Principal Investigator on several commercial research contracts (e.g. Air Force Research Laboratory, Gedas/Volkswagen, Rockwell Automation, Office of Naval Research) and coordinated EC FP5 research projects (ExPlanTech, ExtraPlanT).
Currently Michal Pechoucek is a member of AgentLink3 management committee, a co chair of CEEMAS2003, CEEMAS2005, KSCO2004, HoloMAS 00,01,02 he is a chair of EUMAS Advisory Board and a member of PC of AAMAS, CIA, ESAW, BASYS, DEXA. Michal Pechoucek regularly publishes in prestigious journals and international conferences.
Besides academic assignments Michal Pechoucek acts as a senior consultant at CertiCon, a.s.


Anna Perini is currently leading the research group in Distributed Intelligence at the SRA division of IRST, a research area dealing with problems in Agent-Oriented software engineering, resource optimization in Grid environment, Multi-Context Logics and logic-based Agents. Anna is participating to program committee international conferences and workshops. She is the project leader of several funded projects. She teaches Software Engineering at the Computer Science Faculty of the University of Trento.
Research Interests: Agent Oriented Software Engineering. Requirement Engineering. Knowledge Based System. Algorithms for temporal reasoning. Constraint satisfaction Techniques. Integration of planning and scheduling systems.


Karl Tuyls graduated from the Vrije Universiteit Brussel in 2000, where he studied computer science. His master thesis entitled "Machine Learning techniques for fraud detection" was awarded the Information Technology Prize 2000 in Belgium. After his Master studies he applied for a doctoral grant from the IWT (the IWT is the institute for the advancement of Scientific Technological Research in Flanders) which he successfully obtained in October 2000. In April 2004 he obtained a Ph.D. in computer science from the Vrije Universiteit Brussel. The subject of his PhD dissertation was located at the intersection of Evolutionary Game Theory, Reinforcement Learning and Multi-Agent Systems.


Hans van Ditmarsch completed a Master Degree in Mathematics with Dirk van Dalen and a Master Degree in Philosophy with Jan Bergstra, at the University of Utrecht, the Netherlands, in 1986, with a combined Master Thesis on various uses of abstraction in expert systems and argumentation.
He has lectured and worked in course development for five years at the Faculty of Technical Sciences, the Open University of the Netherlands, and subsequently lectured for seven years at the Computer Science and Artificial Intelligence Departments at the University of Groningen, also in the Netherlands.
In 1996 he started a PhD at the University of Groningen, which he completed in 2000, under the supervision of Johan van Benthem (Universities of Amsterdam and Stanford) and Gerard Renardel. In his PhD Thesis, that is published in the ILLC dissertation series of the University of Amsterdam, he presents a language for dynamic epistemic logic and applications of that language for modelling games.
Subsequently, he spent some time at the Computer Science Department of the University of St Andrews, Scotland. He joined the Computer Science Department of the University of Otago, New Zealand, in 2001. His current research focuses on concurrency features in the dynamics of knowledge, knowledge-based security protocols, dynamic doxastic logics as a vehicle for computational belief revision, proof tools for reasoning with common knowledge, combinatorics, and computer and information science education.


Leendert van der Torre obtained his PhD from the Erasmus University Rotterdam in 1997, subsequently worked as visiting researcher for the Max Planck Institute for computer science in Saarbruecken, as a Marie Curie fellow for Paul Sabatier University in Toulouse, and as a researcher for Vrije Universiteit Amsterdam and CWI Amsterdam.
He works on logics for obligations and permissions, architectures of individual agents, and normative multiagent systems. He developed input/output logics together with David Makinson, is the coordinator of the BOID architecture project, and developed the Boella-vanderTorre model of normative multiagent systems.


Harko Verhagen
After obtaining a M Sc degree in Sociology at the University of Amsterdam (1992), Harko Verhagen obtained his PhD in Computer Science from Stockholm University 2000. Subsequently he worked as assistant professor at the Department of Computer and Systems Sciences at Stockholm University / Royal Institute of Technology.
Teaching mostly on multiagent systems, but also on semiology. Resarch is focused upon integrating social and social philosophical teories in multiagent systems research. More specifically, he is working on an agent architecture combining BDI types of reasoning with social reasoning (norms etc). In the Fasade project, this will be the base for "hybrid social spaces", where human and artificial agents co-exist and interact to form a hybrid social system.


 

 
   

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.