| |
Current Funded Projects
- "EASEL: Engineering Architectures and Software for the
Embedded Landscape", A*Star Embedded and Hybrid
Systems Program Phase 2, 2006 - 2009 (Co-PI).
- "Decomposition and Composition of Large Signaling
Pathways Models with an Emphasis on Parameter Estimation",
Academic Research Fund (Tier 2), 2008- 2011 (PI)
Membership on scientific bodies
- A Fellow of the Indian Academy of Sciences
- A Fellow of the Indian National Academy of Sciences
- An Affiliated Partner of the ARTIST 2 Network of Excellence for Embedded Systems Design, a consortium of academic and industrial research groups funded by the European Commissiones
Programme Committees (Selected List)
- 8th International Conference on Application of Concurrency to System Design (ACSD 2008), X'iang, People's Republic of China, 2008
- 5th IFIP International Conference on Theoretical Computer Science (TCS 2008), Milano, Italy, 2008
- 6th International Symposium on Automated Technology for Verification and Analysis (ATVA 2008), Seoul, South Korea, 2008
- The 29th International Real Time Symposium: Desig and Verification of Embedded Real Time Systems Track (RTSS 2008), Barcelona, Spain, 2008
- 7th ACM & IEEE Conference on Embedded Software (EMSOFT 2007), Salzburg, Austria (2007)
- 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2007), Salzburg, Austria (2007) (Co-Chair)
- 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2007), Braga, Portugal (2007)
|
|