Academia.edu | People who have Program Semantics as a research interest (67)

Follow Michael

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Michael Fourman

University of Edinburgh

Faculty Member

Informatics Department

AI Planning (Artificial Intelligence), Artificial Intelligence, Automated Reasoning (Computer Science), and Category Theory

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 Roly

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Roly Perera

University Of Birmingham

Graduate Student

Computer Science Department

Computers and Philosophy, Consciousness, Functionalism, and Interface Design

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

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Enrico Pontelli

New Mexico State University

Faculty Member

Computer Science Department

AI Planning (Artificial Intelligence), Algorithms, Artificial Intelligence, and Computer Science

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 Beer

Sheffield Hallam University

Faculty Member

C3RI Department

Adaptive Hypermedia, Artificial Intelligence, Augmented Reality, and Automated Social Indexing of Persons

Follow Mariusz

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Mariusz Nowostawski

University of Otago

Faculty Member

Information Science Department

Algorithms, Artificial Intelligence, Artificial Neural Network, and Automata Theory (Formal Languages)

Follow Dinesh

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Dinesh Sriram

Purdue University

Graduate Student

Computer Science Department

C++ Programming, Computer Science, Concurrent Programming Languages, and Functional Programming

Follow José Carlos

What is Following?

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

status updates
new papers
new research interests

and other research updates.

José Carlos Ramalho

Universidade do Minho

Faculty Member

Departamento de Informática Department

Computer Science, Functional Programming, Language Processing, and Program Semantics

Follow Gustavo

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Gustavo Cabral

The University of Tokyo

Graduate Student

Graduate School of Arts and Sciences

Aspect-Oriented Programming, Compilers, Computational Complexity Theory, and Computer Networks

Follow Eduardo

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Eduardo Brito

Universidade do Minho

Graduate Student

Departamento de Informática Department

Computer Science, Concurrency Theory, Concurrent Programming Languages, and Formal methods

Follow Walter

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Walter Lobato

Centro Universitário do Pará

Graduate Student

ACET Department

Academic Development, Algorithms, Artificial Intelligence, and Cognitive Science

Follow saurabh

What is Following?

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

status updates
new papers
new research interests

and other research updates.

saurabh srivastava

University of California, Berkeley

Post-Doc

Electrical Engineering & Computer Sciences (EECS) Department

Abstract Interpretation, Algorithms, Computer Science, and Computer Security And Reliability

Follow Serguei

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Serguei Mokhov

Concordia University (Canada)

Graduate Student

Computer Science and Software Engineering Department

Algorithms, Artificial Intelligence, Artificial Neural Network, and Aspect-Oriented Programming

Follow Abena

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Abena Primo

Louisiana Tech University

Graduate Student

College of Engineering and Science

Active Learning, Adaptive Learning Systems, Adaptive Systems (Data Stream), and Agent Based

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 Churchill

University of Bath

Graduate Student

Department of Computer Science

Algebra, Category Theory, Computability Theory, and Computational Logic

Follow Alexander

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Alexander Lamaison

Imperial College London

Graduate Student

Computing Department

Compilers, Duck Typing (Python), Open Source Software, and Program Analysis

Follow Brett

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Brett Giles

University of Calgary

Graduate Student

Computer Science Department

Algebra, Category Theory, Compilers, and Computer Science

Follow Eric

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Eric Eide

University of Utah

Graduate Student

School of Computing

Aspect-Oriented Programming, Compilers, Computer Networks, and Computer Science

Follow Johannes

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Johannes Müller

Universität Leipzig

Graduate Student

Faculty for Economics and Management

Applied Economics, Applied Microeconomics, Aspect Oriented Software Development, and Business Modeling

Follow Pratik

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Pratik Das

College Of Engineering Pune

Undergraduate

Material science Department

Anthropology of Food, Material Culture Studies, Material Science, and Mathematical Modelling

Follow Nataliia

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Nataliia Bielova

INRIA

Post-Doc

CELTIQUE Department

Computer Security, Formal Methods (Formal Verification), Computer Science, and Functional Programming

Follow Kathryn E.

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Kathryn E. Gray

Swansea University

Post-Doc

Computer Science Department

Compilers, Computer Science, Program Semantics, and Programming Language Theory

Follow Fábio

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Program Semantics

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

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?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Undergraduate

What is Following?

Post-Doc

What is Following?

Post-Doc

What is Following?

Undergraduate

Log In

Reset Password