
Formal Methods
Faculty Working in this Area
Last | First | Professional Title | Available To Advise? |
---|---|---|---|
Aldrich | Jonathan | Professor, Affiliated Faculty | ✔ |
Brookes | Stephen | Professor | ✔ |
Brumley | David | Professor of ECE, Affiliated Faculty | ✔ |
Fredrikson | Matt | Associate Professor | ✔ |
Garlan | David | Professor | ✔ |
Harper | Robert | Professor | ✔ |
Heule | Marijn | Associate Professor | ✔ |
Hoffmann | Jan | Associate Professor | ✔ |
Pfenning | Frank | Professor | ✔ |
Wing | Jeannette | Adjunct Faculty | ✖ |