Instruction Research Bio Personal


Future Students
I am looking for new PhD students who are interested in the application of mathematical logic to problems in computer science. If you are interested in applying to the PhD program at Portland State please contact me directly by email.
Current PhD Students
  • Tom Harke
  • Robert Bauer
Past PhD Students