Professors

Texas Tech University · Computer Science

software engineering · software testing and program analysis · cyber security · machine/deep learning · trustworthy and agentic ai · llm/nlp

Concordia University · Computer Science and Software Engineering

software engineering

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

New Jersey Institute of Technology · Computer Science

software engineering · program verification · program repair

• software testing
• program verification
• automated program repair
• relative correctness

University of Ottawa · Electrical Engineering and Computer Science

machine learning · data science · natural language processing · software engineering · security

• application of machine learning and natural language processing (nlp) to critical areas
• user profiling and behavioral analysis
• cybersecurity measures and threat detection
• applying ml to financial management decision-making
• data loss prevention (dlp) strategies

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

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 New Brunswick · Faculty of Computer Science

information systems · software development processes · software automation · data modeling · legacy system modernization

• information systems
• software engineering
• legacy system modernization

Toronto Metropolitan University · Computer Science

software engineering · large software systems · quantum software engineering · applied machine learning · cloud computing

• big data
• blockchain
• quantum computing
• reliability
• amir lab

Western University · Computer Science

machine learning · data science · software engineering · security

• data analytics
• applied ai/ml
• software engineering
• cps safety & security
• dependable ai
• decision-making

Ohio State University · Computer Science and Engineering

program analysis · software engineering · compilers · software testing

• program analysis
• software engineering
• compilers

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 Ottawa · Electrical Engineering and Computer Science

machine learning · distributed systems · networks · software engineering

• wireless communication and mobile networking
• sensor networks
• wireless and mobile ad hoc and mesh networks
• wireless multimedia
• qos in heterogeneous wired and wireless networks
• security: ad hoc

University of Saskatchewan · Computer Science

data science · software engineering

• mining software repositories
• software maintenance
• data science
• scientific workflows

University of Ottawa · Electrical Engineering and Computer Science

machine learning · natural language processing · software engineering

• trustworthy artificial intelligence for software engineering
• neuro-symbolic artificial intelligence
• model-driven engineering
• formal methods and verification

Dalhousie University · Computer Science

software engineering

• software performance engineering
• model-based se

University of Saskatchewan · Computer Science

software engineering

• code clone detection
• software maintenance & evolution
• mining software repositories
• refactoring

Drexel University · Computer Science

software engineering · machine learning and nlp for software engineering · software data analytics · mining software repositories · empirical software engineering

• software engineering
• nlp
• machine learning
• mining software repositories
• empirical se

University of Saskatchewan · Computer Science

software engineering

• programming languages
• aspect-oriented & functional programming

University of California, Davis · Computer Science

software engineering · program analysis

• bug detection
• floating-point analysis
• automated debugging