Professors

University of California, Davis · Computer Science

programming languages · program analysis · formal verification

• abstract interpretation
• program synthesis
• ml for code

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

University of Windsor · School of Computer Science

multimedia and online video streaming · data analysis and machine learning · formal specification and verification · communication protocols · software design and testing

• multimedia
• machine learning
• formal verification
• communication protocols
• software testing

Rensselaer Polytechnic Institute · Computer Science

distributed computing systems · machine learning · data privacy

• federated learning
• formal verification
• quantum machine learning
• edge computing