Programming Languages Professors and Supervisors in Israel

Aryeh KontorovichView profile

Professor

Ben-Gurion University of The NegevIsrael

Aryeh Kontorovich is a Professor in the Computer Science Department at Ben-Gurion University. His research primarily focuses on theoretical machine learning, with expertise in probability, statistics, Markov chains, and metric spaces. His research interests span theoretical machine learning, with particular emphasis on: Probability theory and concentration inequalities Statistical learning theory Markov chains and mixing time estimation Metric space learning Kernel methods Sample compression schemes Professor Kontorovich's recent publications (2021-2025) demonstrate a continued focus on theoretical foundations of machine learning. His work shows strong trends in statistical estimation for Markov processes, distribution learning, metric space analysis, and sample compression. Many papers explore the intersection of probability theory and machine learning, particularly examining concentration inequalities, minimax optimality, and theoretical guarantees for learning algorithms. His research consistently bridges abstract mathematical theory with practical machine learning applications. Scientific awards and recognitions: Distinguished contribution award at MLG 2007 for "A Universal Kernel for Learning Regular Languages" Professor Kontorovich has advised numerous students and collaborated extensively with researchers in theoretical machine learning. His work spans both theoretical foundations and practical applications, with significant contributions to understanding the mathematical limits of learning algorithms. While specific grant information isn't provided in the source material, his extensive publication record in top venues suggests successful funding for his research programs. He maintains active collaborations with researchers worldwide, including prominent names like L. Gottlieb, D. Berend, and S. Hanneke.

Official University Profile

Eran TreisterView profile

Assistant Professor

Ben-Gurion University of The NegevIsrael

Eran Treister is an Assistant Professor at the Ben Gurion University of the Negev in the Department of Computer Science. He completed his postdoctoral fellowship at the University of British Columbia (2014-2016) and earned his PhD from the Technion in 2014 under Prof. Irad Yavneh. His research spans computational science, numerical methods, and machine learning, with a focus on: Scalable algorithms for inverse problems Graph Neural Networks (GNNs) optimization Seismic and optical imaging via PDE solvers Low-precision deep learning acceleration Multilevel preconditioning techniques Recent work explores: Graph neural networks for PDEs with adaptive meshes Deep learning approaches to Helmholtz equation modeling 3D shape reconstruction via parametric level sets He serves on editorial boards: SIAM Journal on Scientific Computing (2024-) Copper Mountain Conference on Multigrid Methods (2025) International Conference on Machine Learning (ICML) as Area Chair (2025) Current teaching: Optimization Methods for Data Science (Spring 2025) Deep Learning Mini-Project (Winter 2024/5) Advanced Numerical Optimization (Spring 2025)

Official University Profile

Hila PelegView profile

Assistant Professor

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.

Official University Profile

Eran YahavView profile

Professor

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.

Official University Profile

Tristan KlingelhöferView profile

Lecturer

The Hebrew University of JerusalemIsrael

Tristan Klingelhöfer serves as a Lecturer in the Department of Political Science and the European Forum at the Hebrew University of Jerusalem, conducting research at the intersection of party politics, political communication, and political psychology with emphasis on Western European democracies. His academic foundation includes a Ph.D. from Johns Hopkins University (2021) and prior studies in Political Science and German Language and Literature at the University of Mannheim, followed by a Teaching and Research Fellowship at Humboldt-Universität zu Berlin's Chair of German Politics. Research expertise spans: Party Politics: Analysis of electoral strategies and party system evolution in post-industrial Europe Political Communication: Media framing and campaign messaging dynamics Political Psychology: Voter cognition and affective polarization mechanisms Western European Politics: Comparative governance in EU member states Scholarly output appears in premier journals including Journal of Politics , West European Politics , and Party Politics , reflecting rigorous methodological approaches to contemporary European political phenomena. Based in Room 6223 of the Faculty of Humanities Building, he contributes to MA programs in European Studies and Contemporary Germany through the European Forum's interdisciplinary framework.

Official University Profile

Liron CohenView profile

Assistant Professor

Ben-Gurion University of The NegevIsrael

Liron Cohen is an Assistant Professor at the Department of Computer Science , Ben-Gurion University , Israel. He earned his PhD at Tel Aviv University under Arnon Avron and was a Fulbright postdoctoral researcher at Cornell University hosted by Robert Constable. Currently on sabbatical at Cornell during 2024-2025, his research focuses on connections between proofs, computation, and mathematics. Education: PhD (Tel Aviv University), MSc (Tel Aviv University) Research Interests Cohen's work bridges logic, type theory, and computational mathematics. Key areas include: Type systems and computational models Theorem proving and automated reasoning Constructive and intuitionistic logic Effectful computation Cyclic proof systems Formal verification Scientific Awards Pazy Memorial Research Award ETAPS Distinguished Paper Award ETAPS Distinguished Artifact Award

Official University Profile

Tamar BerenblumView profile

Research Fellow

The Hebrew University of JerusalemIsrael

Dr. Tamar Berenblum serves as Research Director of the Federmann Cyber Security Research Center – Cyber Law Program at the Hebrew University of Jerusalem's Faculty of Law. She concurrently holds Post-Doctoral Research Fellow positions at the Netherlands Institute for the Study of Crime and Law Enforcement (NSCR), the Rachel and Selim Benin School of Computer Science and Engineering (Hebrew University), and the Center for Cyber Law & Policy at Haifa University (CCLP). Her research expertise spans victimology , sociology of knowledge , cybercrime , online social control , and digital rights , rooted in her doctoral thesis The Internet as a Sphere of Social Control which examines cyberspace as both a domain and tool for social control over deviant activities. Current projects investigate deterrence mechanisms, online-shaming phenomena, language accessibility in legal proceedings, and juvenile cyber-delinquency. Analysis of her publications reveals consistent focus on human-centered cybersecurity challenges, with recurring themes in ransomware mitigation ( Security Vaccination ), hacking network topology ( Hackers Topology Matter Geography ), and digital justice dynamics ( Viral Justice and E-shaming ). Her methodological approach blends criminological theory with computational analysis of real-world cyber incidents. Beyond research, Berenblum serves as a public representative in Parole Committees of the Court Administration and contributes to policy discussions through the Cyber Law Program's regulatory work on computer crime prevention and IoT security standards.

Official University Profile

Erez PetrankView profile

Professor

Technion - Israel Institute of TechnologyIsrael

Erez Petrank is a Professor at the Department of Computer Science , Technion - Israel Institute of Technology , where he holds the Andrew and Erna Viterbi Chair. His research focuses on concurrent computing , programming languages , and systems with an emphasis on memory management . Additional interests include parallelism , cryptography , data structures , approximation algorithms , and distributed computing . Research Trends Recent publications highlight his work on safe memory reclamation (ERA Theorem, VBR), lock-free data structures (queues, stacks, B+ Trees), and persistent memory algorithms (NVTraverse, Mirror). These works span concurrent computing , distributed systems , and memory efficiency in multi-threaded environments. Scientific Awards Distinguished Paper Award at Euro-Par 2015 Contact Information Email: erez@cs.technion.ac.il Office: Taub 528, Technion Phone: +972-73-378-4942

Official University Profile

Tamir HazanView profile

Associate Professor

Technion - Israel Institute of TechnologyIsrael

Associate Professor Tamir Hazan is a faculty member at Technion - Israel Institute of Technology, where he joined in 2015. His research focuses on theoretical and practical aspects of machine learning, with applications spanning computer vision, natural language processing, and computational biology. His work bridges mathematical foundations with real-world problem solving in complex systems. Professor Hazan received his Ph.D. from the Hebrew University in 2009. His academic trajectory has established him as a leading researcher in machine learning theory and its applications, with a particular emphasis on developing mathematically rigorous approaches to modern AI challenges. Professor Hazan's research centers on mathematically founded solutions to problems demonstrating non-traditional statistical behavior. His work encompasses perturbation models for efficient learning of high-dimensional statistics, deep learning of infinite networks, and primal-dual optimization for high-dimensional inference problems. His research program spans three major interconnected areas: attention models that improve prediction interpretability, perturbation frameworks that integrate optimization and sampling through extreme value statistics, and convex duality approaches to message-passing in graphical models. His work demonstrates both theoretical depth and practical relevance across multiple domains. Analysis of Professor Hazan's recent publications reveals an evolving research trajectory with increasing emphasis on interpretable machine learning, causal modeling, and applications in medical imaging and behavioral science. His work consistently bridges theoretical foundations with practical implementations, with recent publications showing strong connections between perturbation theory, attention mechanisms, and optimization frameworks. The interdisciplinary nature of his research is evident in applications ranging from pedestrian navigation using smartphone sensors to video-text matching systems and medical image analysis. Professor Hazan has mentored numerous students throughout his career, including: Alex Schwing, now Assistant Professor at UIUC Alon Cohen, now Associate Professor at Tel Aviv University Idan Schwartz, currently Postdoc at Tel Aviv University Current Ph.D. students: Guy Lorberbom, Itai Gat, and Hedda Cohen Multiple M.Sc. students including Adi Manos, Ram Yazdi, and others Professor Hazan's research group maintains an active program with several key focus areas: Attention models for interpretable and improved prediction processes in visual question answering and multimodal applications Perturbation models that enable efficient statistical reasoning in complex systems with exponential configuration spaces Markov random fields, convex duality, and message-passing algorithms for structured prediction and distributed computing

Official University Profile

Carolin MüllerView profile

Research Fellow

The Hebrew University of JerusalemIsrael

Dr. Carolin Müller serves as a Research Fellow at the Buber Society, The Hebrew University of Jerusalem since October 2021, where she investigates performance and aesthetic forms as expressions of belonging and identity within migration contexts. Her interdisciplinary work bridges Cultural Studies and Performance Studies, with current projects examining brass music culture in Windhoek through innovative "brass-sound-walking" methodology and the role of the body as a drawing tool in communicating sexuality. Her educational background demonstrates deep interdisciplinary training: Ph.D. in Germanic Languages and Literatures (2020), The Ohio State University: Dissertation on musical activism opposing anti-immigrant policies in Dresden M.A. in Germanic Languages and Literatures (Film Studies, 2016) M.Ed. in Art Education and EFL (2015), Technische Universität Dresden B.Ed. in Art Education and EFL (2013), Technische Universität Dresden Müller's research explores the nexus of art, performance, and politics in migration issues, with particular focus on how musical activism functions as civic engagement. Her work reveals how brass bands in protest movements create community spaces while challenging dominant migration narratives, and how transcultural musical practices become radical political tools in left-wing social movements. This research trajectory demonstrates consistent attention to embodied resistance and sonic warfare as mechanisms for marginalized communities to claim citizenship. Analysis of her 8 most recent publications (2014-2021) reveals strong thematic continuity across Social Sciences, Musicology, and Migration Studies. Her work consistently examines border politics through cultural production, with particular emphasis on Germany's migration landscape. Key methodological approaches include performance ethnography and critical discourse analysis, while substantive contributions focus on how musical practices negotiate integration policies, challenge racialization, and create alternative citizenship models. Her scientific recognition includes: 3 major teaching/service awards from Ohio State University (2017-2018) 11 competitive research fellowships including Ohio State Presidential Fellowship (2019-2020) and TU Dresden Flexible Funding (2021) Specialized grants for migration studies, music research, and international security Müller actively contributes to academic community building as co-founder of the Migration Studies Working Group at Ohio State University and through managing international artist residencies connecting Germany, Burkina Faso, and the United States. Her coordination of doctoral programs at TU Dresden included designing hybrid participation formats and managing an international summer school, while her curation of the Migrants Music Manifesto in Cologne addressed sustainability challenges for transnational migrant artists. Current advisory roles include social media management for migration research platforms and workshop leadership for IMISCOE conferences. She maintains active research collectives through the brass-sound-walking methodology developed with the University of Namibia, and leads workshops like "Questioning Celebratory Migranticization" examining racialization in arts production. Her ongoing projects at the Hebrew University focus on Windhoek's brass music culture and the relationship between aesthetic forms and identity construction, supported by her extensive network of international collaborators across Germany, Israel, Namibia, and the UK.

Official University Profile

Ram FrostView profile

Professor

The Hebrew University of JerusalemIsrael

Prof. Ram Frost is a Professor in the Department of Psychology at the Faculty of Social Sciences, The Hebrew University of Jerusalem, with office location in the Social Sciences Building (fifth floor, room 26509). He maintains active research fellowships at Haskins Laboratories in New Haven and the Basque Center for Cognition, Brain and Language (BCBL), underscoring his international collaborative networks. His research centers on cognitive mechanisms of visual word recognition across languages and statistical learning as an individual capacity for detecting environmental regularities. He investigates universal versus language-specific aspects of reading processes and individual differences in second language acquisition, with current work focusing on the behavioral and neurobiological underpinnings of statistical learning through an ERC Advanced grant. Recent publications reveal a concentrated research trajectory examining brain signatures of reading proficiency (including beta-band neural activity), theoretical integration of statistical learning into cognitive frameworks, and clinical applications for understanding language impairments. His work bridges cognitive neuroscience, psycholinguistics, and information theory to address fundamental questions about learning mechanisms. Prof. Frost leads an ERC Advanced grant-funded research program examining statistical learning from multidisciplinary perspectives. His laboratory maintains strong collaborative ties with Haskins Laboratories and BCBL, facilitating cross-institutional research on learning mechanisms and their implications for language processing and acquisition.

Official University Profile