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
Academics
Interesting
papers in my research area
Photos
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!
Cost of the War in Iraq
(JavaScript Error)
