Software Engineering Research

Advanced Malware Detection Techniques

Security and Verification in Computing

James D Herbsleb

Professor

Biomedical and Engineering Education

Genetics, Bioinformatics, and Biomedical Research

Scientific Computing and Data Management

Brad A Myers

Professor

Interactive and Immersive Displays

Spreadsheets and End-User Computing

Teaching and Learning Programming

Christopher Timperley

Associate Teaching Professor

Software System Performance and Reliability

Jonathan E Aldrich

Professor

Formal Methods in Verification

Security and Verification in Computing

Mary M Shaw

A. J. Perlis University Professor

Jacobo Carrasquel

Associate Teaching Professor Emeritus

Evaluation of Teaching Practices

Experimental Learning in Engineering

Higher Education Learning Practices

Ken Koedinger

University Professor & METALS Program Director

Innovative Teaching and Learning Methods

Intelligent Tutoring Systems and Adaptive Learning

Online Learning and Analytics

Rohan Padhye

Associate Professor

Advanced Malware Detection Techniques

Software System Performance and Reliability

Michael Edward Hilton

Teaching Professor

Image and Signal Denoising Methods

Software Testing and Debugging Techniques

Eunsuk Kang

Associate Professor

E-Learning and Knowledge Management

Persona Design and Applications

Robotics and Automated Systems

Bradley Schmerl

Principal Systems Scientist

Business Process Modeling and Analysis

Service-Oriented Architecture and Web Services

Probabilistic Programming

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science

Vojislav Radonjic

Contract Instructor & Lab Coordinator

Model-Driven Software Engineering Techniques

Service-Oriented Architecture and Web Services

Michele Lanza

Adjunct Research Professor

Data Visualization and Analytics

Jean-Pierre Corriveau

Director and Graduate Director

Model-Driven Software Engineering Techniques

Natural Language Processing Techniques

Olga Baysal

Associate Professor

Open Source Software Innovations

Scientific Computing and Data Management

Jerod Wilkerson

Professor, Associate Chair

Online and Blended Learning

Brigham Young University

Parallel Computing and Optimization Techniques

Jonathan Sillito

Associate Professor

Open Source Software Innovations

Brigham Young University

David Sullivan

Master Lecturer

Distributed and Parallel Computing Systems

Parallel Computing and Optimization Techniques

Peer-To-Peer Network Technologies

Nathan Mull

Lecturer

Constraint Satisfaction and Optimization

Formal Methods in Verification

Logic, Reasoning, and Knowledge

Mohamad Kassab, PhD

Associate Professor of the Practice (ECE), Director, Online Master of Science in Software Engineering for Artificial Intelligence (OMSE)

Department of Electrical and Computer Engineering

Blockchain Technology Applications and Security

IoT and Edge/fog Computing

Kyle Deeds

Assistant Professor

Big Data and Digital Economy

Embedded Systems Design Techniques

Parallel Computing and Optimization Techniques

Scientific Computing and Data Management

Hongwei Xi

Associate Professor

Formal Methods in Verification