Dor Ma'ayan

Computer Science Ph.D. Student, Tel Aviv University.

prof_pic.jpg

253 Check Point Building

School of Computer Science

Tel Aviv University

Tel Aviv 6997801, Israel

I’m a Ph.D. student at the School of Computer Science, Tel Aviv University, in the Software Modeling Lab under the supervision of Prof. Shahar Maoz.

My research interests are in the intersection of Software Engineering, Programming Languages, and HCI. Currently, I am working on making reactive synthesis more usable as part of the SYNTECH project.

Before joining TAU, I completed my MSc. at Technion under the supervision of Prof. Yosi Gil and was a visiting researcher at the Penrose research group at Carnegie Mellon University, hosted by Prof. Joshua Sunshine.

selected publications

  1. ICSE
    Using Reactive Synthesis: An End-to-End Exploratory Case Study
    Dor Ma’ayan, and Shahar Maoz
    In IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023
  2. ICSE
    Triggers for Reactive Synthesis Specifications
    Gal Amram, Dor Ma’ayan, Shahar Maoz, Or Pistiner, and Jan Oliver Ringert
    In IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023
  3. ICSE NIER
    Anti-Patterns (Smells) in Temporal Specifications
    Dor Ma’ayan, Shahar Maoz, and Jan Oliver Ringert
    In IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2023
  4. SIGGRAPH
    Penrose: from mathematical notation to beautiful diagrams
    Katherine Ye, Wode Ni, Max Krieger, Dor Ma’ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, and Keenan Crane
    ACM Transaction on Graphics (SIGGRAPH), 2020
  5. CHI
    How Domain Experts Create Conceptual Diagrams and Implications for Tool Design
    Dor Ma’ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, and Joshua Sunshine
    In CHI ’20: CHI Conference on Human Factors in Computing Systems, Honolulu, HI, USA, April 25-30, 2020, 2020