Professors

University of Texas at Dallas · Computer Science

systems security · software security · program analysis

• iot security
• program analysis
• systems security

University of Texas at Dallas · Computer Science

computer systems security · cyber-physical security · software security and reliability

• systems security
• cyber-physical security
• software reliability
• fuzzing

University of California, Davis · Computer Science

software engineering · program analysis

• bug detection
• floating-point analysis
• automated debugging

University of Ottawa · Electrical Engineering and Computer Science

networks

• wireless communications
• mimo
• cdma
• ofdm sc-fdma
• modulation
• error control coding

Toronto Metropolitan University · Computer Science

computer algebra · mathematical cryptography · probabilistic algorithms · quantum algorithms

• finite fields
• coding theory
• randomized linear algebra
• graphs@tmu

Rensselaer Polytechnic Institute · Computer Science

algorithmic game theory · economics and computation

• mechanism design
• matching markets
• auctions
• voting
• explainable algorithms

University of Maryland, College Park · Computer Science

algorithms and theory

University of Ottawa · Electrical Engineering and Computer Science

machine learning · robotics

• deep learning
• reinforcement learning
• robotics
• learning from limited data
• ai for science

New Jersey Institute of Technology · Computer Science

mobile systems security · applied machine learning · mobile sensing

• applied machine learning
• security & privacy for mobile systems
• trustworthy ml/ai
• mobile sensing

University of Texas at Dallas · Computer Science

computer graphics · geometric modeling · computer vision

• computer graphics
• geometric modeling
• 3d

University of Texas at Dallas · Computer Science

computer graphics · 3d content generation · geometric modeling · computational fabrication

• computer graphics
• 3d content generation
• geometric modeling
• 3d printing
• visual computing

Concordia University · Computer Science and Software Engineering

software engineering

• software design
• aspect-oriented software development

New Jersey Institute of Technology · Computer Science

computer graphics · geometry processing · geometric modeling

• triangle meshes
• mesh processing
• barycentric coordinates
• conformal maps
• digital geometry

New Jersey Institute of Technology · Computer Science

mobile computing · distributed systems · networking

• mobile computing & sensing
• ad hoc & vehicular networks
• distributed systems
• cloud computing
• computational advertising

University of Texas at Dallas · Computer Science

theory of computing · computational complexity · algorithms

• complexity theory
• algorithms
• formal methods

University of Texas at Dallas · Computer Science

computational complexity theory · automata and formal languages · concurrency theory · communication networks and protocols

• computational complexity
• automata theory
• formal languages
• concurrency

University of California, Santa Barbara · Computer Science

operating systems and distributed systems

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

Rice University · Computer Science

computer security · electronic voting systems security · web · network and mobile security

University of Massachusetts Amherst · Computer Science

computational biology and bioinformatics