Sunil Kothari


4093 Engineering Hall
University of Wyoming
Laramie, WY-82071, USA
Phone: 001-307-766-5147 (W)
Email: skothari at uwyo.edu

My Ph.D. advisor is Prof. James Caldwell. I am interested in type systems, functional programming, and proof systems.

Education

Current Courses

Courses Taken

Teaching Duties

Spring'08 COSC 1030 - C++ Programming (Lab Instructor)
Fall'07 COSC 1030 - C++ Programming (Lab Instructor)
Spring'07 COSC 1030 - C++ Programming (Lab Instructor)
Fall'06 COSC 1030 - C++ Programming (Lab Instructor)
Spring'06 COSC 1200 - Computer Information Systems (Lab Instructor)
COSC 4780 - Principles of Programming Languages (Grader)
Fall'05 COSC 1200 - Computer Information Systems (Lab Instructor)
Fall'02 dOvs - Course website maintenance
Spring'02 dModLog - Automata Theory, Languages and Models of Computation.

Work Experience

Publications

Knowledge Sharing