Academia.edu | People who have Programming Language Theory as a research interest (36)

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 David

What is Following?

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

status updates
new papers
new research interests

and other research updates.

David Dalrymple

Harvard University

Graduate Student

Biophysics Department

Biophysics, Computational Neuroscience, Computer Architecture, and Neuroimaging

Follow Rakesh

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Rakesh Roshan

IIT Kanpur

Graduate Student

Computer Science & Engineering Department

Computational Logic, Computer Graphics, Computer Security, and Data Structures (Computer Science)

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 Viacheslav

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Viacheslav Wolfengagen

Institute JurInfoR-MSU

Faculty Member

Advaced Computer Studies and Information Technologies Department

Categorical Abstract Machine, Computer Science, Lambda Calculus, and Lambda Calculus and Combinatory Logic

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 Rhodes

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Rhodes Brown

University of Victoria

Alumnus

Computer Science Department

Compilers, Computer Science Education, Data Mining, and Design Patterns

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 Shyam Sundar

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Shyam Sundar T R

Chennai Mathematical Institute

Alumnus

Computer Science Department

Algorithms, Artificial Intelligence, Automata Theory (Formal Languages), and Compilers

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 Mohamed

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Mohamed IBrahim

Algorithms, Atomic Physics, Atomic and Molecular Physics, and Atomic, Molecular, And Optical Physics

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 Luciano

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Luciano Costa

Universidade de São Paulo

Post-Doc

IQ - Instituto de Química Department

BIOFUELS (Energy), Chemistry, Computational Chemistry, and Computational Materials Science

Follow Tiago

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Tiago Antao

University of Cambridge

Post-Doc

Biological Anthropology Department

Apicomplexans, Biodiversity, Biodiversity Informatics, and Bioinformatics

Follow Anatol

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Anatol Koval

Taras Shevchenko National University of Kyiv

Undergraduate

Institute of Physics

Algorithm Analysis, Algorithmic Algebra, Artificial Intelligence, and Artificial Neural Network

Follow Vinay

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Vinay Madhusudanan

Manipal University

Faculty Member

Mathematics Department

Algebra, Algebraic Graph Theory, Algebraic Topology, and Differential Algebra

Follow Brian

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Brian Howard

DePauw University

Faculty Member

Computer Science Department

Category Theory, Computational Logic, Computer Music, and Computer Science Education

Follow Alwyn

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Alwyn Goodloe

NASA Langley Research CEnter

Faculty Member

Aviation Safety Department

Aviation Safety, Fault Tolerant Computing, Formal Methods (Formal Verification), and Interactive Theorem Proving

Follow Rick

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Rick Sutcliffe

Trinity Western University

Faculty Member

Mathematical Sciences Department

Algebra, Algorithms, Alternate History, and Artificial Intelligence

Follow Ramanathan

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Ramanathan Thinniyam

Chennai Mathematical Institute

Graduate Student

Computer Science Department

Artificial Intelligence, Automata Theory (Formal Languages), Automated reasoning, and Machine Learning

Follow Vasileios

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Vasileios Koutavas

Trinity College Dublin

Post-Doc

School of Computer Science & Statistics

Concurrency Theory, Concurrent Programming Languages, Programming Language Semantics, and Programming Language Theory

Follow Ioannis

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Programming Language Theory

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Alumnus

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Undergraduate

What is Following?

Alumnus

What is Following?

Undergraduate

What is Following?

What is Following?

Post-Doc

What is Following?

Post-Doc

What is Following?

Post-Doc

What is Following?

Undergraduate

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?

Post-Doc

What is Following?

Post-Doc

Log In

Reset Password