Hila Peleg

Hila Peleg is an Assistant Professor in the Department of Computer Science at the Technion – Israel Institute of Technology, where she co-leads the TecSE lab with Prof. Shachar Itzhaky. Her research lies at the intersection of Programming Languages, Software Engineering, and Human-Computer Interaction, focusing on program synthesis and interactive developer tools.

Her research interests center on creating intelligent, theory-driven tools that enhance programmer productivity and correctness. She explores interaction models that integrate formal methods like separation logic into practical synthesis systems, enabling more versatile and reliable code generation. Her work spans both foundational models and real-world applications, from web layout synthesis to computational crafting.

The trend in her recent publications shows a strong focus on interactive and practical program synthesis, blending formal verification with user-centered design. She investigates how synthesis can be made more usable through live programming, best-effort results, co-design of tools and languages, and integration with developer workflows. Her work increasingly emphasizes the human aspect of programming tools.

• Distinguished Paper Award, PLDI 2021
• Distinguished Artifact Award, SPLASH 2020

Hila Peleg advises multiple graduate students, including PhD and MSc candidates, and leads the ERC-funded EXPLOSYN project, which supports advanced research in program synthesis. She has taught advanced courses such as User-Centered Programming Tools and seminars in programming languages, and is actively involved in the academic community through conference service and organization.

She is a core member of the TecSE lab, which focuses on advancing software engineering through programming language theory and interactive systems. The lab fosters interdisciplinary research at the boundary of formal methods and human-centered tool design.