K. C. Shashidhar

Welcome to my quasi-professional 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: Publications (@ Scholar): Articles on the page present work on the following topics --- Closed-Loop analyses of Cyber-Physical Systems, 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) Customary profile: @ LinkedIn and @ XING. 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