Teaching:

I was awarded The University of Auckland Distinguished Teaching Award in 2002. In Auckland, I have been involved in teaching the following courses:

• Mathematical Logic.
• Theoretical Foundations of Computer Science.
• Logic Programming.
• Algorithms and Data Structures.
• Discrete Structures in Computer Science and Mathematics.
• Discrete Mathematics for Software Engineering.

Apart from the courses above, I taught calculus and applied logic courses during 1994-1997 at Cornell University. In 1997 and 1998 I taught ``Automata Theory" graduate courses at Cornell University

and The University of Wisconsin-Madison. In 1999, I taught ``Computable Model Theory" graduate course at the Mathematics and Computer Science Departments of the University of Chicago. In 2007 and 2008

I taught a graduate courses on ``Automatic structures" and ``Finite model theory" for mathematics and computer science students at Cornell University. Also, my teaching experience includes courses on computability theory,

mathematical logic, linear and abstract algebra, and differential equations taught at Tashkent and Novosibirsk Universities.

My textbook titled "Discrete Mathematics for Computer Science and Software Engineering" appeared late 2011. The textbook is writtem with my daughter Nodira Khoussainova

who, after finishing her PhD at The University of Washington, Seattle, now works at Twitter.

For 2014 Semester 1 CS225 Discrete Structures in Computer Science course material click here in 2014.