Home
Research
Publications
Teaching
Bio

Pavithra Prabhakar's Homepage

Pavithra Prabhakar

Contact:

Address: Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid, SPAIN

Office: 310
Telephone: +34 91-101-2202 ext 4146
Fax: +34-91-101-1358
Email: pavithra dot prabhakar at imdea dot org
Assistant Research Professor
  IMDEA Software Institute








                     

RESEARCH INTERESTS

(Opening) If you are interested in an internship, PhD or postdoctoral position in topics related to Formal Methods and/or Cyber-Physical Systems, send me an email.

PROJECTS

SERVICE

INVITED PAPERS AND AWARDS:

ADVISING

News:

[Dec'13] Marie Curie Career Integration Grant awarded to the project "Formal Verification of Stability of Embedded Control Systems"

[Nov'13] Invited talk at the Automatic Control Laboratory, KTH Royal Institute of Technology.

[Nov'13] Invited talk in the Department of Automatic Control and Systems Engineering, University of Sheffield.

[Nov'13] Invited talk in the Department of Computer Science, University of Oxford.

[July'13] Invited speaker at the Cyber-Physical Systems Summer School at Grenoble, France, organised by EIT ICT Labs/PERSYVAL-Lab.

[Feb'13] Invited talk at the Centre Federe en Verification, University Libre de Bruxelles, Belgium.

[Oct'12] Invited talk at the session on "Verification of Cyberphysical Systems: Tools and Algorithms" at the 50th Annual Allerton Conference.

[June'12] Invited talk at the Center for Control, Dynamical Systems, and Computation (CCDC) Seminar at University of California, Santa Barbara.

[April'12] Invited talk at PRECISE Seminar Series, University of Pennsylvania.

[April'12] Best Paper honorable mention award for the paper at Hybrid Systems: Computation and Control with Geir Dullerud and Mahesh Viswanathan.