Harsh Raju Chamarthi
PhD student (since Fall 2009)
College of Computer and Information Science
Northeastern University

harshrc [at] ccs [dot] neu [dot] edu
Office: West Village H room 316
Interests:
Verification, Interactive theorem proving using ACL2, Mathematical Logic, Languages, History...
Advisor:
I work with Pete Manolios.
Brief intro:
I graduated from IIT Kanpur(India) in 2002 with a degree in Electrical Engineering and worked as a Software Engineer for many years in Bangalore(India).


Teaching

Past Courses


Work

I maintain ACL2s, which is a eclipse-based graphical user-interface to ACL2 Theorem Prover and more. ACL2s was developed by Peter Dillinger and features extensions to ACL2 by Daron Vroon, Pete Manolios and myself that make theorem-proving easily accessible to beginners.

Publications and Reports

Integrating Testing and Interactive Theorem Proving [link]
with Peter Dillinger, Matt Kaufmann and Pete Manolios. ACL2 2011
Automated Specification Analysis using an Interactive Theorem Prover (revised version)[pdf]
with Pete Manolios. FMCAD 2011

Interesting/Educative


Computer-Aided Reasoning lab: Peter D | Eugene G | Vasilis P | Mitesh J | Jaideep R
Personal Stuff: My Delecious bookmarks | Himalayas | Watch Football!! | On my name

Law of Excluded Middle