Academia.edu | People who have Static Analysis as a research interest (63)

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 Radu

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Radu Grigore

University College Dublin

Graduate Student

Computer Science and Informatics Department

Algorithms, Programming Languages, Static Analysis, and Computer 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 Emanuele

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Emanuele D'Osualdo

University of Oxford

Graduate Student

Computing Laboratory

Concurrency Theory, Model Checking, Programming Languages, and Semantics

Follow Jon

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Jon Nicholson

University of Brighton

Faculty Member

School of Computing, Engineering and Mathematics

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

Follow Matthew

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Matthew Mole

University of Kent

Graduate Student

Computing Department

Concurrency, Garbage Collection, Computing, and Java

Follow Daniel

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Daniel Peebles

Dartmouth College

Graduate Student

Computer Science Department

Adaptive Learning Systems, Algebra, Automata Theory (Formal Languages), and Category Theory

Follow Jonathan

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Jonathan Cooper

University of Oxford

Post-Doc

Computing Laboratory

Computational Biology, Computer Science for Medicine and Biology, E Science, and Finite element methods (Mathematics)

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 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, Algorithmic Synthetic Biology, Algorithms, and Computer Science

Follow Diego

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Diego Garbervetsky

Universidad de Buenos Aires

Faculty Member

Departamento de Computación Department

Program Analysis, Software Engineering, and Static Analysis

Follow Jaeho

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Jaeho Shin

Stanford University

Graduate Student

Computer Science Department

Domain Specific Languages, Graph Database, Information Visualization, and Compilers

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

Business Rules & Processes, Compilers, Concurrent Programming Languages, and Constraint Programming

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 Asif

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Asif Iqbal

McMaster University

Graduate Student

Computing and Software Department

Empirical Software Engineering, Information Systems Development And Management (Including Is Project Management, Enterprise Information Systems And Agile Software Development, Open Source Software, and Programming Languages

Follow Peter

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Peter Stuckey

University of Melbourne

Faculty Member

Computer Science and Software Engineering Department

Bioinformatics, Constraint Programming, Logic Programming, and Static Analysis

Follow Lucian

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Lucian Bentea

University of Oslo

Department Member

Department of Informatics

AI Planning (Artificial Intelligence), Abstract Interpretation, Algebraic Combinatorics, and Applications in communication netwroks

Follow Gian

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Gian Perrone

IT University of Copenhagen

Graduate Student

Programming, Logic, and Semantics Department

Compilers, Computer Science, Concurrent Programming Languages, and Distributed Algorithms

Follow Ricardo

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Ricardo Dias

Universidade Nova de Lisboa

Graduate Student

Departamento de Informática Department

Concurrency Theory, Concurrent Programming Languages, Distributed Computing, and Formal Methods (Formal Verification)

Follow Guangtai

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Guangtai Liang

Peking University

Graduate Student

Institue of Software Department

Bug Finding Techniques, Cloud Computing, Cloud Resource Management, and Defect Detection

Follow Gurvan

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Gurvan Le Guernic

Royal Institute of Technology

Post-Doc

CSC Department

Abstract Interpretation, Computer Science, Computer Security And Reliability, and Formal Methods (Formal Verification)

Follow behzad

What is Following?

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

status updates
new papers
new research interests

and other research updates.

behzad ghaher ali

Ferdowsi University of Mashhad

Undergraduate

Industrial Engineering Department

- High-rise building (Architecture), Amran, Ancient Topography (Archaeology), and Archaeology of Buildings

Follow Matthew

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Matthew Hertz

Canisius College

Faculty Member

Computer Science Department

Algorithm Visualization, Computer Science Education, Memory Management, and Static Analysis

Static Analysis

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?

Graduate Student

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Alumnus

What is Following?

Post-Doc

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?

Department Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Undergraduate

What is Following?

Faculty Member

Log In

Reset Password