K. C. Shashidhar

Welcome to my webpage. I'm a researcher at Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern and Saarbrücken, Germany.

My main interest is in developing methods and tools to improve safety and security of cyber-physical systems. In particular, my research concerns development and application of formal methods (logic and semantics based analyses) toward rigorous model-driven engineering of cyber-physical systems. At present, my preoccupation is with closed-loop analysis and verification of control software, which I'm pursuing in Rupak Majumdar's Rigorous Software Engineering group at MPI-SWS.

Prior to joining MPI-SWS, I've held research positions at Fraunhofer IESE, General Motors Research, IMEC and IIT Delhi, and I obtained my PhD in Computer Science from Katholieke Universiteit Leuven, Belgium.

The following links provide more information about my work and myself:
    • Specification Refinement,
    • Model-based Testing of Hybrid Systems,
    • Model-based Testing of Code-Generators/Model-Processors,
    • Safety and Product-Line Engineering,
    • Verification of Source Code Transformations,
    • System-Level Equivalence Checking, and
    • Power-Aware Compilation for Embedded Systems.
  • Professional Activities: 
    • 2nd Workshop on Analytical Virtual Integration of Cyber-Physical Systems (AVICPS 2011)
    • 4th International Conference on Software Testing, Verification and Validation (ICST 2011)
  • I leave my share of tidbits here.
  • I (and my wife) love collecting books. If you are interested, here's our collection.
Note: The initial K in my name stands for Kodamballi and it appears as part of my full name in some webpages and documents.
Address:
MPI-SWS, Building 49, Gottlieb-Daimler-Strasse, 
D-67663, Kaiserslautern, Germany.
Phone: +49 631 9303 8512;
FAX: +49 631 9303 9699;
EMail: My GMail username is kc.shashidhar
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   		 Photo by Harshita Rao, April 2011
drupal statistics module

Terms  |  Report Abuse  |  Print page  |  Powered by Google Sites