Indiana University School of Medicine

2011.4 - Present Postdoctoral Fellow in Indiana University School of Medicine (Mentor: William J. Sullivan Jr.) 2005.7 – 2011.3 Institute of Hydrobiology(IHB),...

["Bioinformatics","Data Mining & Machine Learning","Data Science","Databases","Genetics","Theory & Formal Methods"]

SourceClear, Inc.

["Programming Languages","Security & Privacy","Software Engineering","Theory & Formal Methods"]

The University of Bradford

Professor of Software Engineering and Computational Models at the University of Bradford, UK.

["Agents & Multi-Agent Systems","Computational Biology","Emerging Technologies","Programming Languages","Social Computing","Software Engineering","Synthetic Biology","Theory & Formal Methods"]

Mälardalen University

I am a postdoctoral researcher at Mälardalen University in Västerås, Sweden, primarily affiliated with the Software Testing Laboratory and the Formal Modelling and...

["Software Engineering","Theory & Formal Methods"]


Universidad Nacional del Sur • CONICET

Ana Gabriela Maguitman is a Researcher at the National Council for Science and Technology (CONICET) of Argentina and an Associate Professor at the Department of...

["Artificial Intelligence","Data Mining & Machine Learning","Data Science","Digital Libraries","Theory & Formal Methods","World Wide Web & Web Science"]


University of Bremen • German Research Center for Artificial Intelligence

Robert Wille received the Diploma and Dr.-Ing. degrees in computer science from the University of Bremen in 2006 and 2009, respectively. Since 2006, he is with the...

["Computer Aided Design","Computer Architecture","Embedded Computing","Emerging Technologies","Real-Time & Embedded Systems","Theory & Formal Methods"]


SRI International

Dr. Carolyn Talcott is a Program Director in CSL, and SRI fellow. She has PhD's in Chemistry and Computer Science. She leads the Symbolic Systems Technology and...

["Theory & Formal Methods"]


Philipps-Universität Marburg

1985 Diploma in Computer Science (MSc), RWTH Aachen, Germany, 1989 Doctor in Computer Science (PhD), RWTH Aachen, Germany 1992 Habilitation in Computer Science...

["Distributed & Parallel Computing","Programming Languages","Theory & Formal Methods"]


RWTH Aachen University, Germany • University of Twente, The Netherlands

Distinguished professor at the RWTH Aachen University (Germany) and part-time professor at the University of Twente (The Netherlands). Member of the Academia Europaea,...

["Programming Languages","Software Engineering","Theory & Formal Methods"]


University of Passau

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...

["Programming Languages","Software Engineering","Theory & Formal Methods"]

Universita' di Torino

Full professor of ''Teoria e Applicazioni delle Macchine Calcolatrici'' at the University of Torino since 31/10/81. Member of IFIP W.G.2.2 on ''Formal Description...

["Theory & Formal Methods"]


AT&T Laboratories--Research

Pamela Zave received a Ph.D. in computer sciences from the University of Wisconsin. She has held positions at the University of Maryland and Bell Labs, and is now...

["Computer Networks & Communications","Distributed & Parallel Computing","Mobile & Ubiquitous Computing","Software Engineering","Theory & Formal Methods"]


Free University of Bozen-Bolzano

Professor at the KRDB Research Centre for Knowledge and Data. Research interests include knowledge representation and reasoning, ontology languages, description...

["Artificial Intelligence","Databases","Theory & Formal Methods"]


University of Amsterdam • Swansea University

Born in Rotterdam, PhD math. Utrecht 1976, with Leiden University till 1982, with CWI Amsterdam till 1985, subsequently with the University of Amsterdam (UoA)....

["Agents & Multi-Agent Systems","Algorithms & Analysis of Algorithms","Programming Languages","Software Engineering","Theory & Formal Methods"]

["Theory & Formal Methods"]

Top subject areas - People

View all subject areas