Ishaan Joshi's web page

Ishaan Joshi

All generelizations, with the possible exception of this one, are false.
-- Kurt Godel

For a successful technology, reality must take precedence over public relations, for nature cannot be fooled.
-- Richard Feynman

News
Currently in Chicago busy with my research.
Schedule for current week : Click here

Graduate Student

Department of Computer Science
University of Illinois at Chicago
email: ijoshi @ cs.uic.edu / ishaanjoshi @ gmail dot com
office: Phoenix Lab - B-8 ERF
phone: (312)-996-8367

[ Research Interests ]

Formal Methods, more specifically, symbolic model checking.

[ Education ]

PhD. Computer Science, University of Illinois at Chicago (August 2005 - Present)

B.E. Computer Science, Vellore Institute of Technology, University of Madras, Vellore, India (August 1999 - June 2003)
Project: A comprehensive packet sniffer using Raw sockets.
Location: ING - Vyasya (Bangalore, India)

[ Misc Stuff ]

Click here to see where I live, its a nice interface using the Google Maps API.

[ Resume ]

Click here to download my resume.

[ Teaching Assistant for (Spring 2006) ]

CS301: Formal Languages and Automata. I taught a problem solving session once a week.

CS108: Introduction to Programming using C++. I taught basic C++ programming to non Computer Science students in a lab once a week.

[ Courses (Fall 2006) ]

No course this semester!, only research and qualifier preparations.

[ Projects/Papers/Presentations ]

Here is one of projects that is online, more to come shortly ....
[ Security Tool Kit ] Click here to check out a tool I wrote sfick (pronounced as "s-fick") is a two part software system whose function is to assist system administrators with the process of verifying the integrity of critical files -- with Davil Dell and Justin Stauffer at Penn State, as part of a Computer Security course

[ Linux ]

UPDATE: I now run Ubuntu Dapper Drake on my Dell 6000D and it works like a charm