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 fourth year Ph.D. student at Computer and Information Science department of University of Pennsylvania. I am honored to have Rajeev Alur and Ufuk Topcu as my advisors.

Research interests

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


  • 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


  • Rajeev Alur, Salar Moarref, and Ufuk Topcu, "Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis", To appear in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015
  • Anduo Wang, Salar Moarref, Ufuk Topcu, Boon Thau Loo, and Andre ScedrovAutomated, Synthesis of Reactive Controllers for Software-Defined Networks, To appear in The 3rd International Workshop on Rigorous Protocol Engineering (WRiPE), 2013
  • Rajeev Alur, Salar Moarref, and Ufuk Topcu, "Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications", Formal Methods in Computer-Aided Design (FMCAD), 2013
  • Synthesis of Optimal Controllers for Cyber Physical Systems, Salar Moarref, Internal Report (Written Preliminary Test II), 2012 [PDF]
  • Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi, "Safe Schedulability of Bounded-Rate Multi-Mode Systems", Hybrid Systems: Computation and Control (HSCC), 2013
  • 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