Academia.edu | People who have Abstract Interpretation as a research interest (22)

Follow Jael

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Jael Kriener

University of Kent

Graduate Student

Computing Department

Abstract Interpretation, Computational Logic, Computer Science, and Computing

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

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Dmitry Misyurov

MOSCOW STATE UNIVERSITY OF GEODESY AND CARTOGRAPHY (MIIGAiK)

Faculty Member

Philosophy, and socio-economic sciences Department

Abstract Interpretation, Algebraic Combinatorics, Algorithms, and Anthropology

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 Colas

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Colas Le Guernic

New York University

Post-Doc

Computer Science Department

Abstract Interpretation, Bioinformatics, Biologically inspired computing, and Computational Biology

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 Lilit

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Lilit Saribekyan

Armenian State Pedagogical University after Khachatour Abovyan

Undergraduate

Foreign Languages Department

Abstract Interpretation, Educational Inequalities (class; race; gender etc), Educational Policy, and Educational Psychology

Follow Görkem

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Görkem Demirtaş

Middle East Technical University

Alumnus

Computer Engineering Department

Abstract Interpretation, Audio Signal Processing, Compilers, and Computer Vision

Follow Yu

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Yu Bai

TU Kaiserslautern

Graduate Student

Computer Science Department

Abstract Interpretation, Abstract Refinement, Computer Science, and Decision procedures

Follow Claudia

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Claudia Cartuche

Universidad Tecnica Particular de Loja

Alumna

Arte y Diseño Department

Abstract Art, Abstract Interpretation, Cine, literatura, el lugar de los medios en el arte, teatro, museología, producción y montage, Historia del arte, filosofía., and Filosofia, Historia, Antropologia, Economia, Geografia, Patrimonio Cultural, Ciencia, Tecnologia, Interculturalidad, Multiculturalidad, Mediacion

Follow Burkhard

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Burkhard Landwehr

"New" senses in art: touch, smell, taste, 'Islamic' Architecture, (Homo)Sexualities, and - Islamic ornaments (Architecture)

Follow Pavle

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Pavle Subotic

Uppsala University

Graduate Student

Department of Information Technology

Abstract Interpretation, Automated Reasoning (Computer Science), Compilers, and Cyber-Physical Systems

Follow Tanja

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Tanja Zavrski

University of Ljubljana

Undergraduate

Faculty of Architecture

Abstract Art, Abstract Interpretation, Abstraction, and Architecture

Follow Kaleb

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Kaleb Coberly

Abstract Interpretation, Adult Education, Agricultural Economics, and Algorithmic Trading

Follow Susan

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Susan KlausSmith

University of South Florida

Adjunct Faculty Member

Architecture and Community Design

17th Century & Early Modern Philosophy, Abstract Interpretation, Acting on the existent (Architecture), Architecture, Built Environment, Cultural Heritage, Cultural Tourism, Culture Studies, Domesticity, Interior design, Military Architecture, and Modern Movement and Local Traditions, and Action Research

Follow Tan

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Tan En

Abstract Interpretation

Follow Nataraja

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Nataraja Upadhya

"New" senses in art: touch, smell, taste, 'Angry Young Men' Movement, 19th (American History), and A New Industry: The Publishing Of Structural Readings Of Texts

Follow Alfredo

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Alfredo Metere

Stockholm University

Graduate Student

Department of Physical, Inorganic and Structural Chemistry

12-tone Composition, Abstract Interpretation, Abstract Layout/Mapping Alternative Regimes for Website Design--regularize operators applied, operands operated on, path topologies used, etc., and Accelerator Physics

Follow Nick

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Nick Karamolegos

National & Kapodistrian University of Athens

Faculty Member

Mathematics Department

3D GIS, Abstract Interpretation, Access Efficiencies--similar functions similar enactments, similar outcomes similar enactments, etc., and Accessibility

Follow Mehdi

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Mehdi Bouaziz

Ecole Normale Supérieure

Graduate Student

Computer Science Department

Abstract Interpretation, Computer Science, Computer Security, and Static Analysis

Abstract Interpretation

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Faculty Member

What is Following?

Department Member

What is Following?

Post-Doc

What is Following?

Post-Doc

What is Following?

Undergraduate

What is Following?

Alumnus

What is Following?

Graduate Student

What is Following?

Alumna

What is Following?

What is Following?

Graduate Student

What is Following?

Undergraduate

What is Following?

What is Following?

Adjunct Faculty Member

What is Following?

What is Following?

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

Log In

Reset Password