Bio of Speakers, Summer School in Computational Logic 2004, UT-Dallas

Chitta Baral is a professor at the Arizona State University. He obtained his B.Tech(Hons) degree from the Indian Institute of Technology, Kharagpur in 1987 and his M.S and Ph.D degrees from the University of Maryland at College Park in 1990 and 1991 respectively. He has been working in the field of knowledge representation and logic programming since 1988, and his research has been supported over the years by National Science Foundation, NASA, and United Space Alliance. He received the NSF CAREER award in 1995 and led successful teams to AAAI 96 and 97 robot contests. He has published more than 65 articles in Logic Programming, Knowledge Representation, and Artificial Intelligence conferences and Journals. His book titled ``Knowledge Representation, Reasoning, and Declarative Problem Solving'' is the first book about answer set programming and was published by Cambridge University Press in 2003. For more about him please see http://www.public.asu.edu/~cbaral/.

Vítor Santos Costa is a lecturer of the Department of Systems Engineering and Computer Science, Federal University of Rio de Janeiro, Brazil. He is currently visiting the Biostatiscs and Medical Informatics Department of the University of Wisconsin-Madison. He obtained his Ph.D. degree from University of Bristol, Department of Computer Science in 1993. He has published over 50 papers in international journals and conferences on the areas of Logic Programming, parallelism and Artificial Intelligence. His recent research has concentrated on the efficient execution of logic programming queries, namely for the Induction of Logic Programs, and on the representation of incomplete information in Logic Programs. He is also interested in the application of Inductive Logic Programs to areas such as Biocomputing and Evidence Extraction and Link Discovery.

Stefan Decker is the director of the semantic web project at the newly created Digital Enterprises Research Institute in Ireland. Earlier he worked as a Computer Scientist and a Research Professor at the Information Sciences Institute at the University of Southern California. He received his PhD from the University of Karlsruhe in

Germany

and was a member of the database group at Stanford University. His primary research interests are in semantic web and applied logic. He maintains the SemanticWeb.org website. Currently he is working on projects on adding semantics to the Web with XML and RDF, Knowledge Representation, Inferencing with RDF, Web Service Composition, P2P technology using HyperCup and Edutella, Adding semantics to the Grid with OMM, Science and the Semantic Web etc.

Ines Dutra (UFRJ Brazil)

Inês de Castro Dutra is a lecturer of the Department of Systems Engineering and Computer Science, Federal University of Rio de Janeiro,Brazil. She obtained her Ph.D. degree from University of Bristol, Department of Computer Science in 1995. She has published more than 30 papers in international conferences and journals, and edited two special edition books on parallelism and mplementation technology for constraint logic languages and a book on Models for Parallel and Distributed Computation. She has also organised and participated of workshops and conferences on parallelism in logic programming. Recently her focus of research has been on Inductive Logic Programming, a data mining technique that combines the power of logic programming languages with machine learning. She spent 15 months in the Department of Biostatistics and Medical Informatics of University of Wisconsin-Madison, working on efficient inductive logic programming algorithms, including parallelisation, and applying inductive logic programming to several domain areas, such as biology and medicine.

Pascal Van Hentenryck is professor of computer science at Brown University. Prior to his appointment at Brown, he was a research scientist at ECRC, where he designed and implemented the core of the CHIP system. His research on CHIP, described in his 1989 MIT Press book "Constraint Satisfaction in Logic Programming", is the foundation of all modern constraint programming systems. During the last 10 years, he developed a number of influential systems, including the constraint logic programming language cc(FD), the Newton and Numerica systems for global optimization, the optimization programming language OPL, and the programming language Comet. Several of these systems have been used for significant industrial applications.

Pascal is the recipient of an 1993 NSF National Young Investigator (NYI) award, the 2002 INFORMS ICS Award for research excellence at the interface between computer science and operations research, and the best paper award at CP'03. He is the author of three books (all published by the MIT Press) and of more than 100 scientific papers. Pascal was program chair of the International Conference on Logic Programming in 1994, the International Static Analysis Symposium in 1997, and the International Conference on the Princiles and Practice of Constraint Programming in 2002.

Prof. Ninghui Li joined Purdue University in August 2003 as an assistant professor in Computer Science. He received his Bachelor's degree in Computer Science from the University of Science and Technology of China and Ph.D. in Computer Science from New York University in September 2000. Before joining Purdue, he was a Research Associate at Stanford University Computer Science Department for 3 years.

Prof. Li's research interests include information security including trust management, automated trust negotiation, role-based access control, applied cryptography, online privacy protection, and reputations system. One recurring theme of his work is to use logic programming and computational logic to solve problems in information security. Prof. Li's research is current supported by NSF ITR. He has served on the Program Committees of seven international conferences and workshops in information security.

David S. Warren received his PhD in Computer Science from the University of Michigan in 1979, and joined the faculty at the University at Stony Brook where he is currently Leading Professor of Computer Science. His research has been in the area of Logic Programming, where he has more than 70 publications, is co-author of a major book in the area, and has advised 17 students who have completed their PhD degrees. He initiated, and over the past 22 years has developed with his students, the XSB Tabled Logic Programming System. The XSB System forms the software platform for a successful company, XSB, Inc., of which Professor Warren is a founding scientist.