Office Hours
By appointment, 4609 Engineering Building. Free PROLOG interpreters
By appointment, 4609 Engineering Building. Free PROLOG interpreters
- GNU PROLOG
- SWI-Prolog
- YAP Prolog
- Quintus Prolog is available on mason.gmu.edu (prolog to start)
- SWI Prolog is available on both mason and zeus.ite.gmu.edu (swipl to start)
- Gawk for Windows
- MSYS (a UNIX-like environment for Windows)
- awk is available on both the mason and zeus machines
Graduate Teaching Assistant history
| Course | Name | Professor(s) | Semester |
|---|---|---|---|
| CS330 | Formal Methods and Models | Dr. Domeniconi Dr. Richards |
Fall 2017 |
| CS330 CS684 |
Formal Methods and Models Graph Algorithms |
Dr. Richards Dr. Li |
Spring 2017 |
| CS330 | Formal Methods and Models | Dr. Domeniconi Dr. Richards |
Fall 2016 |
| CS330 | Formal Methods and Models | Dr. Domeniconi Dr. Richards |
Spring 2016 |
| CS330 | Formal Methods and Models | Dr. Domeniconi Dr. Richards |
Fall 2015 |
| CS330 | Formal Methods and Models | Dr. Richards | Summer 2015 |
| CS330 | Formal Methods and Models | Dr. Brodsky Dr. Richards |
Spring 2015 |
| CS330 | Formal Methods and Models | Dr. Domeniconi Dr. Richards |
Fall 2014 |
| CS330 | Formal Methods and Models | Dr. Domeniconi Dr. Richards |
Spring 2014 |
| CS330 | Formal Methods and Models | Dr. Domeniconi Dr. Richards |
Fall 2013 |
| CS330 | Formal Methods and Models | Dr. Richards Dr. Wijesekera |
Spring 2013 |
| CS330 | Formal Methods and Models | Dr. Domeniconi Dr. Richards |
Fall 2012 |
| CS330 | Formal Methods and Models | Dr. Richards | Summer 2012 |
| CS330 CS583 |
Formal Methods and Models Design and Analysis of Algorithms |
Dr. Richards | Spring 2012 |
| CS330 | Formal Methods and Models | Dr. Richards | Fall 2011 |
| CS211 | Object Oriented Programming | Dr. Dobolyi Dr. Heishman |
Spring 2011 |
