AT&T Distinguished Professor of Electrical Engineering and Computer Science and Director of the Information and Telecommunication Technology Center at the University of Kansas; Senior Member IEEE; Senior Member ACM; Past Chair IEEE Engineering of Computer-Based Systems Technical Committee.
Degree in Biology, University of Porto, in 1974; PhD in 1983. Full Professor since 1993.
CURRENT RESEARCH ACTIVITIES: Formal and population genetics. Pure and applied genetics, forensics (human and non-human paternity and kinship expertise) and diagnosis of genetic diseases.
Christel Baier is a full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden since 2006. From the University of Mannheim she received her Diploma in Mathematics in 1990, her Ph.D. in Computer Science in 1994 and her Habilitation in 1999. She was an associate professor for Theoretical Computer Science at the University of Bonn from 1999 to 2006.
Member of the "Laboratoire de combinatoire et d'informatique mathématique" (LaCIM) of Université du Québec à Montréal, that initially explored the interplay between combinatorics and computer science. In the mid 90s, it began to include computational biology in the mix.
I received the Laurea degree in Computer Science Engineering from the University of Naples Federico II, Italy, in 2003 and the Ph.D. degree in Information Engineering from the University of Sannio in 2007.
Since 2003 I have worked as a researcher in the field of software engineering writing more than 60 papers published in journals and conference proceedings. My main research interests include software maintenance and testing, software reuse, software reverse engineering, and re-engineering, with a particular interest in software modularization.
I also served both as a member of the program and organizing committees of several international conferences, and as a reviewer of papers submitted to some of the main journals and magazines in the field of data and process mining, software engineering, software maintenance, program comprehension, and the application of computational intelligence approaches in the above fields.
Currently, I am an Assistant Professor at Giustino Fortunato University, holding the courses of "Foundations of Computer Science" and "Software Systems and Services" for the Avionics Science and Technologies master degree.
Dirk Beyer is Professor of Computer Science and has a Research Chair for Software Systems at the University of Passau, Germany. Before, he worked at Simon Fraser University, B.C., Canada, at EPFL in Lausanne, Switzerland, and at UC Berkeley, CA, USA. His research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems. He is the principal designer and implementor of several successful tools, for example, CCVisu, CPAchecker, CrocoPat, and BLAST.
I graduated at the Computer Science Department (DI) of the University of Milano.
Presently I am an associate professor at the Computer Science Department of the University of Milano. My current research interests are: Distributed systems, anonymity, Sense of direction, Models of computation over the reals, Concurrency theory, Applied graph theory, Web crawling and indexing, Web graphs
Professor at the KRDB Research Centre for Knowledge and Data. Research interests include knowledge representation and reasoning, ontology languages, description logics, conceptual data modeling, data integration, graph data management, data-aware process verification, and service modeling and synthesis. In 2012-2013 visiting researcher at the Technical University of Vienna as Pauli Fellow of the "Wolfgang Pauli Institute". Program chair of PODS 2015 and KR 2020, and general chair of ESSLLI 2016. ACM Fellow, EurAI Fellow.
Chayes is a leader in the field of network science, with applications in computer science, economics, biology and math. She is founder and Managing Director of Microsoft Research New England and NYC, and was previously Professor of Math at UCLA. She received an NSF Postdoctoral Fellowship, a Sloan Fellowship and the ABI Women of Vision Leadership Award. She was a member of the IAS Princeton, is a Fellow of the AAAS, ACM, AMS and is an elected member of the American Academy of Arts and Sciences.
Professor, Emeritus of Computer Science, Stanford University, Member of the National Academy of Engineering and American Academy of Arts and Sciences, IEEE and ACM Fellow.
Formal methods in software engineering, emphasizing specification and analysis of concurrent software systems. Broadening participation in Computing. Professor and past Chair of Computer Science at Michigan State University (MSU). Past professor of Computer Science at the University of California, Santa Barbara. ACM Distinguished Scientist. Past Associate Editor of ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering, and Communications of the ACM. Past Vice Chair and past Secretary/Treasurer of ACM Special Interest Group in Software Engineering. Past Co-Chair of Anita Borg Institute Advisory Board. Past member Executive Committee of NCWIT Academic Alliance. General chair, ISSTA'96. Program co-chair ICSE'03. Program chair, ISSTA'09. Program Co-chair, GHC'11. Co-chair, GHC'12. General chair, ICSE'16. 2015 MSU Excellence in Diversity Individual Award. 2014 MSU Service-Learning & Civic Engagement Award. 2013 University of Massachusetts Amherst Computer Science Department Outstanding Achievement and Advocacy Award for Outstanding Achievement in Education.
Gill worked in industry for a couple of years before doing research at the University of Melbourne, Victoria University of Wellington and the National University of Singapore. Her main areas of interest pertain to databases and the web. She has worked in the foundations of database systems, defining logical models for various kinds of database systems, and reasoning about the correctness of algorithms in that setting. She publishes her research in high ranking conferences and journals.