Ritwik Bhattacharya

Hi, I'm a PhD student in the School of Computing at the University of Utah . I am interested in formal methods for the verification of software and hardware. In particular, I'm interested in protocol verification, parameterized systems, refinement techniques, and abstract interpretation. My advisor is Dr. Ganesh Gopalakrishnan . I am currently working on two projects. The first is an investigation of techniques for the verification of cache coherence protocols against memory models, and the second is about finding new ways to calculate dependence relations for  partial order reduction algorithms in the context of process-less system descriptions, such as that used by the explicit-state enumeration based model checker Murphi.

Biographical info
Interesting papers in my research area

Thoughts and writings on war, globalization, and other world issues
"The Good Life"

Links to some issues I find important, and organisations I support or am a member of:
The Human Rights Crisis in Palestine
Rafah Reports
Take Action to End the Illegal Israeli Occupation of Palestine
People for Peace and Justice of Utah
Berkeley Stop The War Coalition
Arms inspection in the United States
United for Peace and Justice

Sources of somewhat more accurate news and views than those provided by corporate media:
Z Magazine
The Nation
Media Lens
Common Dreams: Progressive news
Center for Budget and Policy Priorities
Carnegie Endowment for International Peace
The Iraq Peace Team
Electronic Iraq - founded by Ali Abunimah
Democracy NOW!Democracy NOW!

Save the chimps

Cost of the War in Iraq
(JavaScript Error)
To see more details, click here.