Professors

Concordia University · Computer Science and Software Engineering

software engineering

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

University of Ottawa · Electrical Engineering and Computer Science

software engineering · security · systems

• formal methods
• particularly interactive theorem proving and automated deduction
• logical frameworks and their application in domains such as programming languages
• systems biology
• privacy and security
• and proof theory

Simon Fraser University · Computing Science

software engineering

• program synthesis
• programming languages
• formal methods

University of Windsor · School of Computer Science

cognitive modelling and computing · computational intelligence · evolutionary algorithms · software and system engineering · modelling and simulation · human-computer interaction · formal methods

• cognitive computing
• computational intelligence
• modelling and simulation
• software engineering
• hci

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 Texas at Dallas · Computer Science

theory of computing · computational complexity · algorithms

• complexity theory
• algorithms
• formal methods

University of Ottawa · Electrical Engineering and Computer Science

machine learning · cloud computing · databases · distributed systems · software engineering

• network computing and control
• design of distributed system software
• real time systems
• formal methods
• network and distributed systems security
• semantic web

Stevens Institute of Technology · Computer Science

formal methods and security · information flow · program verification · formal specification

• formal methods
• program verification
• information flow security
• specification

Stevens Institute of Technology · Computer Science

formal methods · concurrency · program verification · reliable and efficient concurrent software

• formal methods
• concurrency
• program verification
• distributed systems

University of Texas at Dallas · Computer Science

software engineering · real-time and embedded systems · software reliability and safety · fault-tolerant distributed systems · formal methods

• software reliability
• real-time systems
• fault tolerance
• automated software synthesis
• high-assurance systems

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

University of Texas at Dallas · Computer Science

network and system security · 5g and 6g security · protocol security

• network security
• 5g
• 6g
• cellular security
• protocol analysis
• formal methods

Rice University · Computer Science

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

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

cyber-physical systems · iot · cybersecurity · formal methods

Stevens Institute of Technology · Computer Science

programming languages · semantics engineering · posix shell · formal methods

• programming languages
• semantics engineering
• posix shell
• formal methods

Ohio State University · Computer Science and Engineering

software engineering · formal methods · software verification · programming methodology

• software engineering
• formal methods
• verification

Ohio State University · Computer Science and Engineering

distributed systems · formal methods · concurrency · software verification

• distributed systems
• formal methods
• concurrency

Rensselaer Polytechnic Institute · Computer Science

safe and secure autonomous systems · cyber-physical systems

• neural network verification
• formal methods
• control theory
• sensor fusion
• machine learning

McMaster University · Computing and Software

cloud computing · software engineering · security

• software engineering
• model-driven engineering
• safety & security
• formal methods
• cloud computing
• search-based se (automotive/aerospace)