Satisfiability Modulo Theories

Bruno Woltzenlogel Paleo

Institut National de Recherche en Informatique et Automatique (INRIA)

Post-Doc

INRIA Nancy--Grand-Est Department

Automated Deduction, Computability Theory, Computational Linguistics, and Computational Logic

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Eduardo Brito

Universidade do Minho

Graduate Student

Departamento de Informática Department

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

Adrian Rezus

Alexander of Aphrodisias, Analytic Philosophy, Ancient Logic, and Aristotle

Zhiyang Ong

Universita' di Verona

Graduate Student

Computer Science Department

Analog/RF and Mixed-Signal VLSI Design, Circuits and Systems, Complex Networks, and Computer Architecture

Christoph Wintersteiger

Microsoft Research

Post-Doc

Cambridge Department

Algorithms for Satisfiability, Constraint Solving, Hardware Verification, and Satisfiability Modulo Theories

Robert Daniel Brummayer

Danube Mobile Communications Engineering (DMCE)

Post-Doc

Transceiver Firmware Verification Department

Delta Debugging, Formal Methods (Formal Verification), Fuzz Testing, and Hardware Verification

Dmitri Chubarov

Siberian Branch of the Russian Academy of Sciences

Junior Researcher

Institute of Computational Technologies

Formal Methods (Formal Verification), High Performance Computing, Petri Nets, and Cloud Computing, Distributed File Systems, Dynamic Load Balancing, Heterogeneous Distributed Systems, High Performance Scientific Computing , Parallel Architectures, Parallel Processing, Scheduling, Distributed Data Mining
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