Salar Moarref

Department of Computer and Information Science
, University of Pennsylvania

Contact Information:

EMail: moarref [AT] seas [DOT] upenn [DOT] edu

Office: Levine 571, CIS department
3330 Walnut Street, Philadelphia, PA 19104

Mailing address: Levine 302, 3330 Walnut street
Philadelphia, PA 19104

About me

I am a third year Ph.D. student at Computer and Information Science department of University of Pennsylvania. I am honored to have Rajeev Alur as my advisor.

Research interests

  • Cyber Physical Systems
  • Controller Synthesis
  • Formal methods, verification and Model checking
  • Software Engineering

Education

  • 2010-present

    Ph.D. student in Computer Information & Science University of Pennsylvania, Philadelphia, USA

  • 2006-2010

    Bachelor of Science in Computer Engineering (software) Sharif University of Technology, Tehran, Iran

  • 2002-2006

    Diploma in Mathematics and Physics Ayatollah Shahid Madani High School, a branch of NODET (National Organization for Development of Exceptional Talents) , Tabriz, Iran

Publications

  • Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam, "Modeling and Verification of a Dual Chamber Implantable Pacemaker" , 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012
  • Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi, "Safe Schedulability of Bounded-Rate Multi-Mode Systems", To appear in Hybrid Systems: Computation and Control (HSCC), 2013
  • Synthesis of Optimal Controllers for Cyber Physical Systems, Salar Moarref, Internal Report (Written Preliminary Test II), 2012 [PDF]