Page Content
pose.JPG 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:
- Formal Methods, Hardware Verification, Automated theorem proving using ACL2, Mathematical Logic.
-
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). I sleep a lot and love playing football(soccer). Update: Not so much of both these days.
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 [pdf]
with Pete Manolios.
FMCAD 2011
Other
- Edsger W. Dijkstra's manuscripts. Always makes for great reading!
- How to prove theorems formally - Kaufmann and Moore
- Discrete Math Notes. Anything by Jean Gallier is top-notch.
- Quick Latex Notes by Jeremy Osterhouse.
- Nice overview of Automated Theorem Proving by Geoff Sutcliffe.
- Quickstart HTML guide by Charles Kelly.
Computer-Aided Reasoning lab: Peter D |
Eugene G |
Vasilis P |
Mitesh J |
Jaideep R
Personal Stuff: My Delecious bookmarks |
Himalayas |
Watch Football!! |
My name
Law of Excluded Middle
