Office: Middlesex College 365
Telephone: (519) 661-2111 ext. 86856
The focuses of my research are software engineering and programming languages. Some recurrent themes in my research are testing and verification, the use of precisely defined notations, and formal logic. In software engineering, I am studying testing using log file analysis; large software systems often produce "log files" reporting on the state of the computations they do, and I am developing precisely defined tools to help us analyze them. I am also interested in design patterns for making graphical user interfaces (GUIs) easier to test. In programming languages, I am studying the semantics of practical logic programming languages, verification of logic programs, and logic-based features for declarative programming languages.
Also from this web page: