Parallel Program Verification

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

sandeep dasgupta

IIT Kanpur

Graduate Student

Computer Science & Engineering Department

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

Eduardo Brito

Universidade do Minho

Graduate Student

Departamento de Informática Department

Computer Science, Concurrency Theory, Concurrent Programming Languages, and Formal methods

muhammad elsayed

Alexandria University

Graduate Student

Computers and Systems Engineering Department

Cloud Computing, High Performance Computing, Parallel Algorithms, and Parallel Computing

Simão Melo de Sousa

Universidade da Beira Interior

Faculty Member

Computer Science Department

Compilers, Computer Science, Computer Security, and Computer Security And Reliability

Alwyn Goodloe

NASA Langley Research CEnter

Faculty Member

Aviation Safety Department

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

maryam zakeryfar

Concordia University (Canada)

Graduate Student

Computer Science Department

Formal Methods (Formal Verification), Medical Imaging, Parallel Program Verification, and Static Analysis
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