Professors

University of California, Davis · Computer Science

programming languages · program analysis · formal verification

• abstract interpretation
• program synthesis
• ml for code

Concordia University · Computer Science and Software Engineering

software engineering

• software engineering
• programming languages
• formal methods
• applied machine learning

Rensselaer Polytechnic Institute · Computer Science

programming languages · software engineering · security

• static program analysis
• taint analysis
• secure computation
• verification of machine learning libraries

Simon Fraser University · Computing Science

software engineering

• program synthesis
• programming languages
• formal methods

University of Utah · Computer Science (Kahlert School of Computing)

programming languages · gradual type systems · formal methods · human factors

University of California, Davis · Computer Science

programming languages · formal methods

• stream processing
• verification
• formal methods

University of Saskatchewan · Computer Science

software engineering

• programming languages
• aspect-oriented & functional programming

Toronto Metropolitan University · Computer Science

software engineering · programming languages · human-computer interaction · web-based systems

• software engineering

University of New Brunswick · Faculty of Computer Science

computational geometry · mathematical optimization · programming languages

• computational geometry
• optimization
• programming languages

Stevens Institute of Technology · Computer Science

programming languages · semantics · software safety and security · type systems · language-based security

• programming languages
• type systems
• semantics
• language-based security
• distributed systems

Carleton University · School of Computer Science

automated reasoning · formal methods in software engineering · programming languages · software engineering

• automated reasoning
• formal verification
• type theory
• proof assistants

Carleton University · School of Computer Science

mobile computing · peer-to-peer computing · evolutionary computation · object-oriented systems · software patterns · programming languages · open-source software

• genetic algorithms
• genetic programming
• artificial life
• eclipse
• beacon technology
• health informatics

University of Utah · Computer Science (Kahlert School of Computing)

artificial intelligence · programming languages

• ml and systems
• formal verification and testing

University of Texas at Dallas · Computer Science

programming languages · logic programming · software engineering · artificial intelligence · parallel and distributed processing

• logic programming
• constraint programming
• programming languages
• answer set programming
• semantics

University of Texas at Dallas · Computer Science

logic programming · programming languages · artificial intelligence

• logic programming
• knowledge representation
• answer set programming

Drexel University · Computer Science

programming languages and formal methods · type and effect systems · program verification for os kernels · computational linguistics

• programming languages
• formal methods
• type systems
• program verification

McMaster University · Computing and Software

software engineering

• programming languages
• mechanized mathematics
• program generation
• meta-programming for software engineering (agda)

University of Utah · Computer Science (Kahlert School of Computing)

high-performance computing · programming languages

• compiler optimization
• formal verification and testing

Rice University · Computer Science

programming languages · formal methods · data-stream processing · program verification

Drexel University · Computer Science

high-level programming languages · runtime support for non-general-purpose computation

• programming languages
• runtime systems
• domain-specific computation