Automatic Program Analysis Professors in Global

Search By

Location

Location

Searching Globally

Professor

Xiangyu Zhang

Purdue University United States of America

program analysis

program profiling

automatic debugging

View Professor Profile

Professor

Isil Dillig

University of Texas at Austin United States of America

program analysis

automated logical reasoning

program synthesis

View Professor Profile

Professor

David Van Leeuwen

Radboud University Netherlands

automatic language recognition

automatic speech recognition

automatic speaker recognition

View Professor Profile

Professor

James Avery

University of Copenhagen Denmark

automatic program analysis

functional analysis

View Professor Profile

Professor

Armando Solar-lezama

Massachusetts Institute of Technology United States of America

automated program analysis

program synthesis

View Professor Profile

Professor

Arie Gurfinkel

University of Waterloo Canada

automated program analysis

automated reasoning

View Professor Profile

Professor

Westley Weimer

University of Michigan United States of America

program analysis

automated program repair

View Professor Profile

Professor

Aarti Gupta

Princeton University United States of America

program analysis

automatic decision procedures

View Professor Profile

Professor

Philipp Leitner

University of Gothenburg Sweden

automated software analysis

program comprehension

View Professor Profile

Professor

Ezekiel Soremekun

Singapore University of Technology and Design Singapore

program analysis

automated debugging

View Professor Profile

Professor

Ravi Chugh

University of Chicago United States of America

program analysis

program synthesis

View Professor Profile

Professor

Vijay Ganesh

University of Waterloo Canada

program analysis

automated testing

View Professor Profile

Professor

Kenny Lu Ming

Singapore University of Technology and Design Singapore

program analysis

automata theory

View Professor Profile

Professor

Thomas Wies

New York University United States of America

program analysis

automated deduction

View Professor Profile

Professor

Jürgen Giesl

RWTH Aachen University Germany

program analysis

automated deduction

View Professor Profile

Professor

Stefan Kiefer

University of Oxford United Kingdom

program analysis

automata theory

View Professor Profile

Professor

Mourad Debbabi

Concordia University Canada

program analysis

malware analysis

View Professor Profile

Professor

Abhishek Tiwari

University of Southern Denmark Denmark

automated program repair

static program analysis

View Professor Profile

Professor

Patrick Cousot

New York University United States of America

program analysis

program verification

View Professor Profile

Professor

Zafer Esen

Uppsala University Sweden

program analysis

program verification

View Professor Profile

Professor

Ruben Martins

Carnegie Mellon University United States of America

software analysis

program synthesis

View Professor Profile