RECENTLY TAUGHT CLASSES/SEMINARS:  

CS 699: Readings and Honors

CS 689: Research Methods in Computer Science

CS 675: Model Checking

CS 670: Theory of Computation 2

CS 668: Graph Algorithms and Applications

CS 639: Seminar (Systems and Software Verification Methods - Model Checking)

CS 570/CS 470: Theory of Computation 1

CS 547: Computer, Information, and Network Security

CS 539/CS 339: Biocomputational Methodologies

CS 347: Net Security

CS 324: Design and Analysis of Algorithms

CS 232: Data Structures

CS 124: Discrete Structures

 

DOCTORAL DISSERTATION SUPERVISED:  

Adrian Heinz, ALGORITHMS AND SOFTWARE SYSTEMS FOR LEARNING AND RESEARCH, Ed. D. July 2009

 

HOME