Professors

Rensselaer Polytechnic Institute · Computer Science

distributed computing · concurrent programming languages

• cloud and edge computing
• software verification
• actor model
• safer flight systems
• middleware

University of Ottawa · Electrical Engineering and Computer Science

distributed systems · software engineering · security

• software verification
• validation and testing
• software security
• formal models
• mobile applications

New Jersey Institute of Technology · Computer Science

software engineering · software verification · program analysis

• software verification
• static analysis
• program verification
• developer tools

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

Stevens Institute of Technology · Computer Science

software verification · side-channel analysis · computer security · program analysis

• software verification
• side channels
• program analysis
• security