Pavithra Prabhakar's Homepage
Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid, SPAIN
Telephone: +34 91-101-2202 ext 4146
Email: pavithra dot prabhakar at imdea dot org
Assistant Research Professor
IMDEA Software Institute
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.
Cyber-Physical Systems: Verification, Synthesis;
Formal Methods: Model Checking, Temporal Logics;
Applications areas: Robot motion planning, air traffic control;
Dagstuhl seminar : Verification of Cyber-Physical Systems, March 16-21, 2014.
Co-organizers: Rupak Majumdar (MPI-SWS, Germany), Richard Murray (Caltech, US)
ECC'13 : Invited session on Formal Verification and Design of Hybrid Systems.
Co-organizer: Jun Liu (University of Sheffield, UK)
Program Committee (PC) Member:
ACC'15 : 55th American Control Conference, 2015.
CAV'14 : 26th International Conference on Computer Aided Verification, 2014.
HSCC'14 : 17th ACM International Conference on Hybrid Systems: Computation and Control, 2014.
SummerSim'14 : ACM SIGBED Summer Simulation Conference, 2014.
HSCC'13 : 16th ACM International Conference on Hybrid Systems: Computation and Control, 2014.
INVITED PAPERS AND AWARDS:
"Foundations for Approximation Based Analysis of Stability Properties of Hybrid Systems", Pavithra Prabhakar.
50th Annual Allerton Conference on Communication, Control and Computing, 2012.
- "Pre-orders for reasoning about Stability", Pavithra Prabhakar,
Geir Dullerud and Mahesh Viswanathan.
Hybrid Systems: Computation and Control (HSCC), 2012.
Best Paper honorable mention award
Miriam Garcia Soto (PhD fellowship from the Spanish Ministry, started 2012)
Muhammad Usman Sanwal (PhD, started 2013)
Scott Livingston (Intern at IMDEA, Summer 2013 - PhD student at Caltech)
Alex Jose (Intern at Caltech, Summer 2012 - Undergrad at Caltech)
Nick Spooner (Intern at Caltech, Summer 2012 - Undergrad at Oxford)
[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
[April'12] Invited talk at PRECISE Seminar Series, University of
[April'12] Best Paper honorable mention award for the paper at Hybrid Systems: Computation and Control with Geir Dullerud and Mahesh Viswanathan.