GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Model-Driven Software Engineering Techniques Research Faculty | GradNova

/

/

Model-Driven Software Engineering Techniques

Model-Driven Software Engineering Techniques

31 faculty research Model-Driven Software Engineering Techniques on GradNova.

E

Collegiate associate professor

Computer Science

Advanced Software Engineering Methodologies

Model-Driven Software Engineering Techniques

Service-Oriented Architecture and Web Services

Software Reliability and Analysis Research

+1

M

Assistant Professor

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

R

Richard Trefler

Associate Professor

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Petri Nets in System Modeling

+1

A

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Software Reliability and Analysis Research

+1

J

Associate Dean, Professional Programs & Development, Professor

Computer Science

University of Victoria

AI for Healthcare

Data and Knowledge Engineering

Graph Transformation Systems

+7

K

Professor

Computer Science

University of New Brunswick

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Parallel Computing and Optimization Techniques

V

Victor Winter, Ph.D.

Professor

Computer Science

University of Nebraska at Omaha

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

+1

K

Teaching Specialist

Computer Science

University of Minnesota

Model-Driven Software Engineering Techniques

Philosophy and History of Science

Reinforcement Learning in Robotics

Software Engineering Research

+1

E

Professor

Computer Science

University of Minnesota

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

+1

K

Kenneth Calvert

Professor

Computer Science

University of Kentucky

Embedded Systems Design Techniques

Model-Driven Software Engineering Techniques

Network Traffic and Congestion Control

Peer-To-Peer Network Technologies

+1

J

Jennifer Lohoefener

Assistant Research Professor

Computer Science

University of Kansas

Formal Methods in Verification

Intelligent Tutoring Systems and Adaptive Learning

Manufacturing Process and Optimization

Model-Driven Software Engineering Techniques

+1

P

Perry Alexander

AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences

Computer Science

University of Kansas

Formal Methods, Verification, and Synthesis

Specification Languages

System-Level Design Languages and Semantics

Trusted Computing

+5

K

Katherine Kosaian

Assistant Professor

Computer Science

University of Iowa

Interactive Theorem Proving

Math and Computer Science Intersection

Logic, Programming, and Type Systems

+4

J

Jackson Marques de Carvalho

Professor of Practice

Computer Science

University at Albany, State University of New York

And Document Processing

Autonomous UAV Navigation

Multimodal Human-Computer Interaction and User Modeling

Software Engineering

+2

K

Professor, Admiral B.R. Inman Centennial Chair in Computing Theory

Computer Science

The University of Texas at Austin

Programming Languages and Compilers

Formal Methods in Verification

Logic, Programming, and Type Systems

+3

A

Allison Sullivan

Assistant Professor

Computer Science

University of Texas at Arlington

Fault Localization

Live Programming

Mutation Testing

Program Synthesis and Repair

+6

P

Patrick J. Wolfe

Provost

Computer Science

Purdue University System

Biodegradable Polymer Synthesis and Properties

Inorganic and Organometallic Chemistry

Model-Driven Software Engineering Techniques

Organometallic Complex Synthesis and Catalysis

+1

M

Stretch Professor

Electrical Engineering and Computer Science

Oregon State University

Computer Science Education

Programming Languages

Spreadsheets and End-User Computing

Advanced Database Systems and Queries

+3

H

Teaching Professor

Computer Science

Montana State University

Augmented Reality

Virtual Reality

+4

T

Tichakorn (Nok) Wongpiromsarn

Associate Professor

Computer Science

Iowa State University

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

Real-Time Systems Scheduling

+1

H

Associate Professor

College of Computing

Georgia Institute of Technology

Energy Harvesting in Wireless Networks

Image Enhancement Techniques

Model-Driven Software Engineering Techniques

Natural Language Processing Techniques

+1

T

Professor and Director of GTS3, Joint with the

College of Computing

Georgia Institute of Technology

Formal Methods in Verification

Logic, Programming, and Type Systems

Model-Driven Software Engineering Techniques

R

Professor of Practice and Associate Chair (Graduate), Department of Computer Science

Computer Science

George Mason University

Mission-Critical Software

Real-Time Embedded Software

Software Design

Software Engineering

+6

V

Assistant Professor

Computer Science

DePaul University

Advanced Software Engineering Methodologies

Model-Driven Software Engineering Techniques

Software Engineering Research

Software Engineering Techniques and Practices

+1