Academia.edu | People who have Formal Methods (Formal Verification) as a research interest (223)

Follow Martin

What is Following?

Following Martin's work means that, in your Academia.edu News Feed, you will see Martin's:

status updates
new papers
new research interests

and other research updates.

Martin Henson

University of Essex

Faculty Member

School of Computer Science and Electronic Engineering

Academic Development, Computer Science, Formal Methods (Formal Verification), and International Development

Follow Vieri

What is Following?

Following Vieri's work means that, in your Academia.edu News Feed, you will see Vieri's:

status updates
new papers
new research interests

and other research updates.

Vieri del Bianco

Università degli Studi dell'Insubria

Post-Doc

Dipartimento di Informatica e Comunicazione Department

Agent Based, Agile Project Management, Agile Software Process Improvement, and Architectural Patterns

Follow Ali

What is Following?

Following Ali's work means that, in your Academia.edu News Feed, you will see Ali's:

status updates
new papers
new research interests

and other research updates.

Ali Rahimabadi

Sharif University of Technology

Faculty Member

Computer Engineering Department

1. Wireless Sensor Networks : Deployment , Routing, Mobility, Compression, and Reliability, Data mining., Computer Science And Engineering, Distributed Real Time Systems, and Formal Methods (Formal Verification)

Follow Ben Hur

What is Following?

Following Ben Hur's work means that, in your Academia.edu News Feed, you will see Ben Hur's:

status updates
new papers
new research interests

and other research updates.

Ben Hur Viray

University of the Philippines Open University

Faculty Member

Faculty of Information and Communication Studies

Computer Science, Computer Science Education, Computer Supported Collaborative Learning (CSCL), and Computer Supported Cooperative Work (CSCW)

Follow Dave

What is Following?

Following Dave's work means that, in your Academia.edu News Feed, you will see Dave's:

status updates
new papers
new research interests

and other research updates.

Dave Towey

United International College

Faculty Member

Division of Humanities and Social Sciences Department

Applied AI, Artifial Intellegence, Blended E-Learning, and CMS

Follow Mr Zacchaeus Oni

What is Following?

Following Mr Zacchaeus Oni's work means that, in your Academia.edu News Feed, you will see Mr Zacchaeus Oni's:

status updates
new papers
new research interests

and other research updates.

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

Follow Joseph

What is Following?

Following Joseph's work means that, in your Academia.edu News Feed, you will see Joseph's:

status updates
new papers
new research interests

and other research updates.

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

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

Follow Raymond

What is Following?

Following Raymond's work means that, in your Academia.edu News Feed, you will see Raymond's:

status updates
new papers
new research interests

and other research updates.

Raymond Turner

University of Essex

Faculty Member

School of Computer Science and Electronic Engineering

Computability Theory, Constructivism, Formal Methods (Formal Verification), and Logic

Follow Bertrand

What is Following?

Following Bertrand's work means that, in your Academia.edu News Feed, you will see Bertrand's:

status updates
new papers
new research interests

and other research updates.

Bertrand Meyer

Swiss Federal Institute of Technology (ETH)

Faculty Member

Computer Science Department

Algorithms, Computer Science, Eiffel, and Engineering

Follow Nischal

What is Following?

Following Nischal's work means that, in your Academia.edu News Feed, you will see Nischal's:

status updates
new papers
new research interests

and other research updates.

Nischal Sathyanarayana

University of Oxford

Graduate Student

Computing Laboratory

Belief Revision (Computer Science), Computer Science, Database Systems, and Formal Methods (Formal Verification)

Follow Dmitri

What is Following?

Following Dmitri's work means that, in your Academia.edu News Feed, you will see Dmitri's:

status updates
new papers
new research interests

and other research updates.

Dmitri Akatov

University of Oxford

Alumnus

Computing Laboratory

Algorithms, Applied Mathematics, Artificial Intelligence, and Computational Logic

Follow João

What is Following?

Following João's work means that, in your Academia.edu News Feed, you will see João's:

status updates
new papers
new research interests

and other research updates.

João Marcos

UFRN

Faculty Member

DIMAp Department

Algebraic (Symbolic) Computation, Computability Theory, Computational Logic, and Computational Mathematics

Follow Karthik

What is Following?

Following Karthik's work means that, in your Academia.edu News Feed, you will see Karthik's:

status updates
new papers
new research interests

and other research updates.

Karthik Manamcheri

University of Illinois at Urbana-Champaign

Graduate Student

Electrical and Computer Engineering Department

Algorithms, Distributed Computing, Distributed Embedded Systems, and Dynamical Systems

Follow Jeremy

What is Following?

Following Jeremy's work means that, in your Academia.edu News Feed, you will see Jeremy's:

status updates
new papers
new research interests

and other research updates.

Jeremy Gibbons

University of Oxford

Faculty Member

Computing Laboratory

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

Follow José Creissac

What is Following?

Following José Creissac's work means that, in your Academia.edu News Feed, you will see José Creissac's:

status updates
new papers
new research interests

and other research updates.

José Creissac Campos

Universidade do Minho

Faculty Member

Departamento de Informática Department

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

Follow Joaquín

What is Following?

Following Joaquín's work means that, in your Academia.edu News Feed, you will see Joaquín's:

status updates
new papers
new research interests

and other research updates.

Joaquín Salvachúa

Universidad Politécnica de Madrid

Faculty Member

Departamento de Ingeniería de Sistemas Telemáticos Department

Accessibility (Computer Science), Agile Project Management, Architecture, and Computer Science

Follow Simone

What is Following?

Following Simone's work means that, in your Academia.edu News Feed, you will see Simone's:

status updates
new papers
new research interests

and other research updates.

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

Follow Avinash

What is Following?

Following Avinash's work means that, in your Academia.edu News Feed, you will see Avinash's:

status updates
new papers
new research interests

and other research updates.

Avinash Joshi

University of Texas at Dallas

Graduate Student

Computer Science Department

Computer Networks, Cyber Security., Formal Methods (Formal Verification), and Network Security

Follow Maryam

What is Following?

Following Maryam's work means that, in your Academia.edu News Feed, you will see Maryam's:

status updates
new papers
new research interests

and other research updates.

Maryam Saberi

Simon Fraser University

Graduate Student

School of Interactive Arts & Technology

Algorithm Analysis, Artificial Neural Network, Computer Games Technology, and Formal Methods (Formal Verification)

Follow Dejan

What is Following?

Following Dejan's work means that, in your Academia.edu News Feed, you will see Dejan's:

status updates
new papers
new research interests

and other research updates.

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Follow Daniela

What is Following?

Following Daniela's work means that, in your Academia.edu News Feed, you will see Daniela's:

status updates
new papers
new research interests

and other research updates.

Daniela Da Cruz

Universidade do Minho

Department Member

Departamento de Informatica Department

Compilers, Formal Methods (Formal Verification), and Programming Languages

Follow Jonah N.

What is Following?

Following Jonah N.'s work means that, in your Academia.edu News Feed, you will see Jonah N.'s:

status updates
new papers
new research interests

and other research updates.

Jonah N. Schupbach

University of Utah

Faculty Member

Philosophy Department

Abduction, Bounded Rationality, Decision And Game Theory, and Epistemology

Follow Tasawer

What is Following?

Following Tasawer's work means that, in your Academia.edu News Feed, you will see Tasawer's:

status updates
new papers
new research interests

and other research updates.

Tasawer Khan

University of York

Graduate Student

Computer Science Department

CASE Tools, Computer Science, Formal Methods (Formal Verification), and Software Engineering

Follow Ahmed

What is Following?

Following Ahmed's work means that, in your Academia.edu News Feed, you will see Ahmed's:

status updates
new papers
new research interests

and other research updates.

Ahmed Shosha

University College Dublin

Graduate Student

Computer Science and Informatics Department

Computer Forensics, Data Mining, Distributed Computing, and Formal Methods (Formal Verification)

Follow Andrew

What is Following?

Following Andrew's work means that, in your Academia.edu News Feed, you will see Andrew's:

status updates
new papers
new research interests

and other research updates.

Andrew Butterfield

Trinity College Dublin

Faculty Member

Department of Computer Science

Computer Science, Concurrency Theory, Engineering, and Formal Methods (Formal Verification)

Formal Methods (Formal Verification)

What is Following?

Faculty Member

What is Following?

Post-Doc

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Alumnus

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Ph.D Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Department Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

Log In

Reset Password