Academia.edu | People who have Programming Language Semantics as a research interest (49)

Follow Harry

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Harry Xu

University of California, Irvine

Faculty Member

Computer Science Department

Compilers, Memory Management, Optimization Techniques (Computer Science), and Parallel Programming

Follow Vinicius

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Vinicius Garcia

Universidade Federal de Pernambuco

Faculty Member

Center of Informatics

Agile Project Management, Agile Software Process Improvement, CASE Tools, and Component-Based Software Engineering (CBSE)

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 Jayati

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Jayati Jain

National Institute of Technology, Durgapur

Graduate Student

Information Technology Department

Business, Business Administration, Computer Networks, and Computers in Graphic 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 sandeep

What is Following?

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

status updates
new papers
new research interests

and other research updates.

sandeep dasgupta

IIT Kanpur

Graduate Student

Computer Science & Engineering Department

Concurrent Programming Languages, Heap Analysis, Parallel Program Verification, and Parallel Programming

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 Joshua

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

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

Follow Gary

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Gary Hill

University of Northampton

Faculty Member

School of Science and Technology

Collaborative Virtual Environments, Computational Modelling, Computer Assisted Language Learning/Teaching, and Computers in Graphic Design

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)

Follow Kristina

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Kristina John

Universiteit van Amsterdam

Department Member

Sociology/ Amsterdam Institute for Social Science Research

Children, Parents & the State, Comparative and historical sociology, Discourse Analysis, and Family studies

Follow Nicola

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Nicola Bernardini

Conservatorio "C.Pollini" Padova

Faculty Member

Dipartimento di Composizione Department

Algorithmic Composition, Composition (Music), Computer Music, and Music

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 Jose Antonio

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Jose Antonio Parejo Maestre

Universidad de Sevilla

Department Member

Lenguajes y Sistemas Informaticos Department

Artificial Intelligence, Autonomous Cognitive Agents, Business/IT Alignment, and Combinatorial Optimization

Follow Prakash

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Prakash Panangaden

McGill University

Faculty Member

Computer Science Department

Category Theory, Computer Science, Concurrent Programming Languages, and Epistemic Logic

Follow Philip

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Philip Atzemoglou

University of Oxford

Graduate Student

Department of Computer Science

Category Theory, Computational Complexity Theory, Lambda Calculus, and Measurement-based Quantum Computation

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

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Hunan Rostomyan

University of California, Berkeley

Undergraduate

Philosophy Department

Philosophy (Logic, Language, Meaning, Science, Mind, Action), Computer Science (Theory, Programming, Philosophy, Security), Formal Semantics (Linguistics, Philosophy, Programming Languages), and Mathematics (Logic, Set Theory, Philosophy, History)

Follow Sahil

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Sahil Tikale

Nanyang Technological University

Graduate Student

School of Computer Engineering

Business Intelligence, Business/IT Alignment, Comic Book Studies, and Comics

Follow Jean-Louis

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Jean-Louis Giavitto

CNRS - IRCAM

Faculty Member

IRCAM - RepMus team Department

Algebraic Topology, Amorphous Computing, Computer Music, and Computer Science

Follow German

What is Following?

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

status updates
new papers
new research interests

and other research updates.

German Delbianco

Universidad Nacional de Rosario

Undergraduate

Departamento de Ciencias de la Computación Department

Category Theory, Compiler Construction, Compilers, and Computer Science

Follow António Miguel

What is Following?

Following António Miguel's work means that, in your Academia.edu News Feed, you will see António Miguel's:

status updates
new papers
new research interests

and other research updates.

António Miguel Cruz

Instituto Politécnico de Viana do Castelo

Faculty Member

Escola Superior de Tecnologia e Gestão Department

Agile Project Management, Algorithms, Computer Science, and Computer Supported Cooperative Work (CSCW)

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 John

What is Following?

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

status updates
new papers
new research interests

and other research updates.

John Fitzgerald

Newcastle University

Faculty Member

School of Computing Science

Computer Science, Computer Science Education, Computer Security And Reliability, and Control Systems Engineering

Programming Language Semantics

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?

Faculty Member

What is Following?

Faculty Member

What is Following?

Department Member

What is Following?

Faculty Member

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?

Graduate Student

What is Following?

Undergraduate

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Undergraduate

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

Log In

Reset Password