Software Engineering Professors and Supervisors in Israel

Idit Keidarمشاهده پروفایل

استاد

Technion - Israel Institute of TechnologyIsrael

Idit Keidar is currently the Dean of the Viterbi Faculty of Electrical and Computer Engineering at the Technion - Israel Institute of Technology, where she also holds the Lord Leonard Wolfson Academic Chair. She received her BSc, MSc, and PhD (all summa cum laude) from the Hebrew University of Jerusalem in 1992, 1994, and 1998 respectively, with Danny Dolev as her PhD advisor. She completed her postdoctoral studies at MIT with Nancy Lynch. Her academic lineage includes notable figures such as Copernicus, Leibniz, Jacob Bernoulli, Euler, Lagrange, Laplace, and Poisson. Keidar's research focuses on fault-tolerant distributed and concurrent algorithms and systems, with particular interest in distributed storage theory and systems, concurrent data structures and transactions, and scalable Byzantine fault-tolerance. She approaches her work with the goal of finding theoretical foundations that can help explain and improve practical implementations. Her research has significant implications for large-scale distributed systems, cloud computing, and multi-core architectures. Keidar has made substantial contributions to the field through her editorial work as editor of the ACM SIGACT News Distributed Computing Column from 2007-2013 (previously co-editing with Sergio Rajsbaum from 2000-2007). Her publications span theoretical foundations, practical applications, and educational aspects of distributed computing. The trends in her work show a consistent focus on bridging theory and practice in distributed systems, with increasing attention to large-scale systems, transactional memory, and Byzantine fault tolerance as these areas have gained practical importance. Scientific Awards and Recognition: Lord Leonard Wolfson Academic Chair Editor of ACM SIGACT News Distributed Computing Column (2000-2013) Keidar has held significant leadership positions in the distributed computing community, serving as PC Chair for PPoPP 2019 and PODC 2018, Organizing Committee Chair for DISC 2013 in Jerusalem, and PC Co-Chair for LADIS 2021. She has been actively involved with the Networked Software Systems Laboratory at the Technion. Beyond her technical work, Keidar is also a creative writer, with a short story winning 2nd place in the Shirat Ha'Mada creative writing contest for scientists.

پروفایل رسمی دانشگاه

Hila Pelegمشاهده پروفایل

استادیار

Technion - Israel Institute of TechnologyIsrael

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.

پروفایل رسمی دانشگاه

Eran Yahavمشاهده پروفایل

استاد

Technion - Israel Institute of TechnologyIsrael

Eran Yahav is a Professor in the Computer Science Department at the Technion, Israel Institute of Technology, and serves as CTO at Tabnine. His research bridges programming languages, software engineering, program analysis, and machine learning, focusing on program synthesis, verification, and code intelligence. Research Interests: His work spans program synthesis , abstract interpretation , verification of concurrent systems , binary analysis , and AI for code . He leads the PRIME project, which uses machine learning and static analysis to enable programming with millions of examples, improving code completion, search, and prediction. The recent publications reflect a strong trend toward integrating neural models with program analysis—using structured representations of code (e.g., AST paths) for property prediction, generating sequences from code (code2seq), learning distributed representations (code2vec), and interpreting neural networks via automata extraction. His work consistently appears in top-tier venues such as POPL, PLDI, ICSE, OOPSLA, and ICLR. Scientific Awards: Best paper award at ISSTA'07 Best paper award at ISSTA'06 Advising and Grants: He has advised numerous PhD and Master’s students, many of whom have published in premier conferences and now hold academic or industry positions. While specific grants are not mentioned, his sustained high-impact research and leadership in major projects (e.g., PRIME, Fender, SAFE) imply significant funding support. He has served on program committees for PLDI, POPL, CAV, OOPSLA, and VMCAI, reflecting his standing in the programming languages and verification communities. Labs and Teams: He leads a research group focused on program analysis and synthesis, with strong collaborations, particularly with Martin Vechev and others, on concurrency, synthesis, and machine learning for code. The group has developed influential tools such as PRIME, code2seq, code2vec, TRACY, and SAFE.

پروفایل رسمی دانشگاه

Oren Tsurمشاهده پروفایل

استادیار

Ben-Gurion University of The NegevIsrael

Oren Tsur is an Assistant Professor in the Department of Software & Information Systems Engineering (SISE) at Ben Gurion University of the Negev, where he heads the NLP and Social Dynamics Lab (NAS-LAB) and directs the Center for the Study of Digital Politics and Strategy (DPS@BGU). He joined the university in September 2017 and teaches core courses including Natural Language Processing, Social Network Analysis, and Introduction to NLP at both undergraduate and graduate levels. His research focuses on computational modeling of social dynamics through language and network analysis. Key interests include social contagion, language evolution, political network analysis, and sentiment analysis. He employs methodologies from exponential random graph models (ERGM), machine learning, and natural language processing to study how language shapes and is shaped by social interactions, particularly in political contexts and online communities. His publication trends reveal strong interdisciplinary work spanning computational linguistics, political science, and social network analysis. Recent research emphasizes hate speech detection in platforms like Parler, suicide risk identification in counseling services, and modeling semantic drift in emoji usage. His work consistently bridges technical NLP innovations with real-world social applications, particularly in political discourse and community dynamics. NSF Political Network Fellowship (2014, 2015, 2016) TIME Magazine's 50 Best Inventions of 2010 for sarcasm detection research Work featured in Science Magazine, BBC, The Atlantic, CNET, and Politico Best Paper award at HICSS 2020 Tsur actively mentors prospective students through his lab, emphasizing excellence in candidates through academic transcripts and research interest statements. His grants include multiple NSF Political Network Fellowships supporting computational social science research. He serves as Director of BGU's Cyber Politics and Policy Research Center and organizes major NLP workshops including the Natural Language Processing and Computational Social Science series at top conferences. His NAS-LAB focuses on data-driven modeling of social coordination and influence, with applications in sentiment analysis, dialogue systems, and digital forensics. The lab maintains strong industry connections through past collaborations with IBM Research (Watson Debater project), Yahoo! Research, and startup consulting.

پروفایل رسمی دانشگاه

Tal Ellenbogenمشاهده پروفایل

استاد

Tel Aviv UniversityIsrael

Prof. Tal Ellenbogen serves as a Professor and Head of Department at the School of Electrical Engineering, Tel Aviv University. His academic office is located in room 505 of the Computer and Software Engineering building, with contact details including email (tellenbogen@tauex.tau.ac.il) and phone (+972-3-6407372). As senior academic staff, he maintains active research and teaching responsibilities within Israel's leading research institution. His research spans cutting-edge nanophotonics disciplines including Nano-electro-optics, Plasmonics, and Optical metamaterials development. He investigates Light control by nano-antennas for optical manipulation, designs Nanometric sensors and detectors, pioneers Nano-lasers and Photovoltaic cells, and explores Excitonics phenomena. His work extends to metallic nanometric structures optics and nonlinear optical effects in nanoscale arrays, driving innovation in light-matter interactions at subwavelength scales. Prof. Ellenbogen leads an active research laboratory (evidenced by restricted-access laboratory website), focusing on advancing nanoscale optical technologies with applications in next-generation sensing systems, energy harvesting, and optical computing. His work bridges fundamental physics with practical implementations in nanofabrication and photonic device engineering.

پروفایل رسمی دانشگاه