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

M.Sc., Artificial Intelligence, 2001
The University of Edinburgh, Edinburgh, United Kingdom.

B.E., Industrial Engineering, 1998
Indian Institute of Technology, Roorkee, India.

Current Courses

Research Writing (Spring 2008)

Courses Taken

Theory of Computation
Constructive Logic and Mathematics in Computer Science
Analysis of Algorithms
Automatic Programming
Software Validation and Verification
Operating Systems
Machine Learning
Languages and Automata
Graduate Seminar on Emergent Behavior
Graduate Seminar on Type Reconstruction Algorithms
Graduate Seminar on Names and Bindings in Programming Languages
Graduate Seminar on Detecting and Eliminating Software Bugs

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

Aug'04 - Jul'05 Senior Software Engineer

Mar'00 - Jul'00 Consultant

Jul'98 - Mar'00 Software Engineer

Publications

S. Kothari and J. Caldwell. On Extending Wand's Type Reconstruction Algorithm to Handle Polymorphic Let [ps | pdf ].
Accepted for presentation at the Fourth Conference on Computability in Europe (Athens, Greece, June 15-20, 2008).
OCaml source code: Extended Wand's Algorithm .

S. Kothari and J. Caldwell. Wand's Algorithm extended for the Polymorphic ML-Let [ps | pdf ]. Technical Report, University of Wyoming, 2007.
OCaml source code: Extended Wand's Algorithm , OCaml source code representing proof idea is available here.

S. Kothari. Type Reconstruction Algorithms - A Survey [ps | pdf ]. Technical Report, University of Wyoming, 2007.
OCaml source code: Algorithm W, Algorithm J, Algorithm M , Wand's Algorithm .

S. Kothari and M. Sulzmann. C++ templates/traits versus haskell type classes. Technical Report TRB2/05, The National University of Singapore, 2005. [ bib | pdf | ps ]

S.Kothari. A declarative approach towards ensuring auto-completion and auto-update of HTML form fields. [ps | pdf | HTML] Unpublished paper.
The examples mentioned in the paper are available here. The binary .jar file is available here.

Knowledge Sharing

Machine Learning notes based on Tom Mitchell's book [ ps | pdf]

A useful trick for inclusion and exclusion of commented code