Dr. K C Shashidhar
Angestellt, Researcher, Max Planck Institute for Software Systems
Kaiserslautern, Deutschland
Werdegang
Berufserfahrung von K C Shashidhar
Bis heute 13 Jahre und 9 Monate, seit Okt. 2010
Researcher
Max Planck Institute for Software Systems
3 Jahre und 8 Monate, Feb. 2006 - Sep. 2009
Senior Researcher
General Motors Global R&D
Researcher at the India Science Lab of GM Global R&D with focus on rigorous engineering of embedded control software. Activities included development of methods and tools for model-based testing, formal requirements analysis and verification of auto-code generators.
5 Jahre und 5 Monate, Sep. 2000 - Jan. 2006
Researcher
IMEC, Belgium
Staff member in the Advanced Design Technology Group within DESICS Division. Activities included development of system-level design methodologies for application of domain-specific optimizations for embedded multimedia systems.
2 Jahre, Aug. 1998 - Juli 2000
Research Associate
IIT Delhi
Associate for the Embedded Systems research project sponsored by the Naval Research Board, Government of India. Activities included development of a framework for design of real-time embedded systems.
9 Monate, Nov. 1997 - Juli 1998
Software Engineer
Philips Software Center, India
2 Monate, Sep. 1997 - Okt. 1997
Software Engineer
Infosys Technologies, India
Ausbildung von K C Shashidhar
5 Jahre und 4 Monate, Sep. 2000 - Dez. 2005
Computer Science
Katholieke Universiteit Leuven
Formal verification, Program Analysis, Embedded Systems Design, Architecture-Specific Optimizations of Embedded Software, Power-Aware Compilation; My Ph.D. dissertation was titled “Efficient Automatic Verification of Loop and Data-flow Transformations by Functional Equivalence Checking” and my a
2 Jahre, Aug. 1998 - Juli 2000
Computer Science
Indian Institute of Technology, Delhi, India
Electronic Design Automation, Embedded/VLSI Systems Design
4 Jahre, Sep. 1993 - Aug. 1997
Computer Science
University of Mysore
Sprachen
Englisch
Fließend