GradNova

Computational Logic

3 faculty research Computational Logic on GradNova.

I

Assistant Professor, EECS – Electrical and Computer Engineering

Department of Electrical and Computer Engineering

University of Michigan

Compositional System Design

Computational Logic

Control Systems

Design Automation

+8

C

Associate Professor, Teaching Stream

David R. Cheriton School of Computer Science

University of Waterloo

Algorithms and Algorithmic Design

Computational Logic

Introductory Imperative Programming (python, C)

Engineering and Material Science Research

+4

C

Cesare Tinelli, PhD

Erich Funke Professor, CLAS

Computer Science

University of Iowa

Computational Logic