Aarti Gupta, Princeton University, US
Aarti Gupta is a Professor in the Department of Computer Science at Princeton University. She received a PhD in Computer Science from Carnegie Mellon University. Her research interests are in the areas of formal verification of programs and systems, automatic decision procedures, and electronic design automation. She has served on the technical program committees of many leading conferences in these areas, and is currently serving on the Steering Committee of the CAV (Computer Aided Verification) Conference. She is an ACM Fellow.
Personal Webpage: http://www.cs.princeton.edu/~aartig
Georg Gottlob, University of Oxford and TU Wien
Georg Gottlob is a Professor of Computing Science at Oxford University, UK and an Adjunct Professor of Computer Science at the Vienna University of Technology, Austria (TU Wien), where he is a member of the Information Systems Institute. His research interests are database theory (in particular, query languages), Web information processing, constraint satisfaction problems, nonmonotonic reasoning, finite model theory, and computational complexity. On the more applied side, he supervises a number of industry projects dealing with expert systems and with multimedia information systems. From 1989 to 1996 he directed the industry-funded Christian Doppler Laboratory for Expert Systems. He is a co-founder of Lixto Corporation. Georg Gottlob was an invited speaker at many international conferences. He has received the Wittgenstein Award from the Austrian National Science Fund, is an ECCAI Fellow, and a member of the Austrian Academy of Sciences, the German Academy of Sciences Leopoldina, and the European Academy of Sciences Academia Europaea in London. He chaired the Program Committees of IJCAI 2003 and ACM PODS 2000, was the Editor in Chief of the Journal Artificial Intelligence Communications, and is currently a member of the editorial boards of several other journals.