People Search

K Shashidhar

jegliche öffentliche Information

Wie andere Suchmaschinen(Google oder Bing) sammelt Radaris Information von öffentlichen Quellen

Soziale Medien mit K Shashidhar

Xing

K C Shashidhar
Gegend:
Kaiserslautern, Germany
Arbeit:
Researcher
Organisationen:
IEEE
Hochschulen:
 Katholieke Universiteit Leuven (Computer Science, Ph.D.), Indian Institute of Technology, Delhi, India (Computer Science, M.Tech.), University of Mysore (Computer Science, B. Engg.)
Status:
Seeking employment
Sprachen:
English
Berufserfahrung:
  (Researcher), Fraunhofer IESE,  (Visiting Researcher (ERCIM Fellow)), General Motors Global R&D,  (Senior Researcher), IMEC, Belgium,  (Researcher), IIT Delhi,  (Research Associate), Philips Software Center, India,  (Software Engineer), Infosys Technologies, India,  (Software Engineer)
Ich biete:
Formal Methods for Software and Systems Engineering, Software and Systems Analysis, Verification and Testing, Methods and Tools for Control Software Engineering, Embedded Systems Design and Development, Formal Verification of Software and Hardware, Electronic Design Automation
Interessen:
Advances in Software and Systems Engineering, Technology, Education and Rural Development
Über mich:
I'm a visiting researcher at Fraunhofer IESE in Kaiserslautern, Germany. My research interest is on formal methods, a discipline of computer science. My research broadly concerns reliability of software and systems. I have studied modern techniques that address this problem, for example, formal verification via static analysis, and contributed novel solutions to some instances of the problem. I'm ...

Linkedin

KC Shashidhar
Gegend:
Mannheim Area, Germany
Zusammenfassung:
Researcher - Software and Systems Engineering
Berufserfahrung:
Max Planck Institute for Software Systems (Educational Institution; Computer Networking industry): Researcher,  (October 2010-Present) 
Fraunhofer IESE, Kaiserslautern, Germany (Privately Held; Information Technology and Services industry): Bensoussan Fellow,  ...