Temporal Logics

Leon Derczynski

The University of Sheffield

Graduate Student

Computer Science Department

Computational Linguistics, Computer Science, Design Semantics, and Information Extraction

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Lucian Bentea

University of Oslo

Department Member

Department of Informatics

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

David Sanán

Universidad de Malaga

Post-Doc

Lenguajes y Ciencias de la Computación Department

Model Checking and Temporal Logics

Ijaz Ahmed

Universidade da Madeira

Graduate Student

Centre of Exact Sciences and Engineering

Formal Methods (Formal Verification), Model Checking, Static Analysis, and Temporal Logics
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012