Formal methods

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Mr Zacchaeus Oni Omogbadegun

Covenant University Canaanland, Ota.

Faculty Member

Computer and Information Sciences Department

Ambient Intelligence AmI (in ), Business Rules & Processes, Computer And Society, and Computer Ethics

Amnon Eden

University of Essex

Faculty Member

School of Computer Science and Electronic Engineering

Artificial Intelligence, CASE Tools, Cognitive Science, and Design Patterns

Nisarg Shah

Carnegie Mellon University

Graduate Student

Computer Science Department

Algorithms, Complexity Theory (in Computer Science ), Computer Science, and Formal methods

David Lamas

Tallinn University

Faculty Member

Institute of Informatics

Human Computer Interaction research areas (mobile devices, ambient intelligence, social networks), Human Computer Interaction theoretical frameworks (methodologies; metaphors; usability and accessibility), Knowledge Discovery with Diagrams (diagrammatic reasoning), and Semantic Web (metadata; ontologies; folksonomies)

Jeremy Gibbons

University of Oxford

Faculty Member

Computing Laboratory

Architectural Patterns, Data Structures (Computer Science), Design Patterns, and E Science

Michael Schreiber

Vienna University of Economics and Business

Faculty Member

Analytical Economics Department

Action Research, Algorithms, Art, and Art History

Paolo Ciancarini

Alma Mater Studiorum - Università di Bologna

Faculty Member

Computer Science Department

(Multi-) Agent Technology, AI Planning (Artificial Intelligence), Computational Intelligence, and Computer Science

José Creissac Campos

Universidade do Minho

Faculty Member

Departamento de Informática Department

Automated reasoning, Computer Science, Formal Methods (Formal Verification), and Formal methods

Simone Sacchi

University of Illinois at Urbana-Champaign

Ph.D Student

Graduate School of Library and Information Science

Building Information Modeling, Conceptual Foundation of Information Science, Data curation, and Digital Preservation

Muaz Niazi

Bahria University, Islamabad-Pakistan

Faculty Member

Computer and Software Department

(Multi-) Agent Technology, Agent Based Simulation, Agent-Based Models, and Agent-based modeling

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Arthur Oviedo

Universidad de los Andes (Colombia)

Graduate Student

Departamento de Ingeniería de Sistemas y Computación Department

Algorithms, Bioinformatics, Computer Science, and Data Mining

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

José Luiz Fiadeiro

University of Leicester

Faculty Member

Computer Science Department

Formal Methods (Formal Verification), Formal methods, Mathematical Logic, and Philosophy of Computer Science

Rodolfo Marinho

UFCG - Universidade Federal de Campina Grande

Undergraduate

Departamento de Sistemas e Computação Department

Algorithms, Computer Networks, Distributed Computing, and Formal methods

Vivek Nigam

University of Pennsylvania

Post-Doc

Mathematics Department

Computational Logic, Formal methods, Information Security, and Information Security and Privacy

Jon Nicholson

University of Brighton

Faculty Member

School of Computing, Engineering and Mathematics

Automated reasoning, CASE Tools, Computer Science, and Design Patterns

Juan David Cruz-Gomez

Telecom Bretagne

Graduate Student

LUSSI Department

# Algorithms # Computer Networks # Data Mining # Data Structures # Database Systems # Operating Systems, (Multi-) Agent Technology, Algebra and Topology, and Algorithm Analysis

Jan Tobias Muehlberg

Katholieke Universiteit Leuven

Post-Doc

Computer Science Department

Automated reasoning, Certification Test and Evaluation (CT&E), Formal methods, and Semantics (Computer Science)

Mirtha Giovannini

Universidad Tecnologica Nacional

Faculty Member

Ingeniería en Sistemas de Información Department

Algorithm, Algorithms, Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), and Aspect Oriented Software Development

José Antonio Martín Baena

Universidad de Malaga

Graduate Student

Lenguajes y Ciencias de la Computación Department

Machine Learning, Security in Web Services, Self-adaptive Software, and Software Engineering

Javier Cubo

Universidad de Malaga

PhD in Computer Science - Researcher

Lenguajes y Ciencias de la Computación Department

Computer Science, Computer Science And Engineering, Engineering, and Formal methods

Feryal Fulya Horozal

Jacobs University Bremen

Graduate Student

School of Engineering and Science

Computer Science, Formal Methods (Formal Verification), Formal methods, and Logical Frameworks (Computer Science)

James Caldwell

University of Wyoming

Faculty Member

Computer Science Department

Computer Science, Formal methods, Logic, and Proof Theory
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012