Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Supratik's homepage
[go: Go Back, main page]

Supratik Mukhopadhyay

Department of Computer and Information Sciences
University of Pennsylvania
200 South 33rd Street, Philadelphia
PA 19104
email: supratik@saul.cis.upenn.edu



Research Interests:
Distributed Systems
Verification of Reactive systems
Finite Model Theory
Infinite Trees
Logic Programming
Constraint Programming



The Ambient Calculi Online


Projects:
Charon: Hierarchical Design and Analysis of Hybrid Systems
Distributed Computing in Mobile, Ad-hoc Networks
Model-based Integration of Embedded Software (Mobies)
Translation Validation for Compilers


Papers: (Contd from previous homepage)
Optimal Reachability and Control for Acyclic Weighted Timed Automata

Dynamic Message Sequence Charts

Talk on Introduction to the Open Experimental Platform: Problems and Challenges at the Grasp Lab, Penn


Logical Methods for Program Analysis Group at MPI

Conferences and Workshops

Fourth International Symposium on Verification, Model Checking and Abstract Interpretation, New York, January 2003 (Program co-chair)

This page is under construction. In the meantime you can visit my old homepage