Find Academic Supervisors

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.

• Fault-tolerant distributed algorithms
• Concurrent systems
• Distributed storage
• +5 more

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.

• Programming Languages
• Software Engineering
• Program Analysis
• +12 more

Prof. Alex Bronstein is a Professor at the Henry and Marilyn Taub Department of Computer Science, Technion – Israel Institute of Technology, where he holds the Dan Broida Academic Chair and heads the VISTA Lab and the Center for Intelligent Systems. He concurrently serves as a Visiting Professor at the Austrian Institute of Science and Technology. His research spans computer vision, machine learning, computational geometry, signal processing, and bioinformatics, with a focus on geometric data analysis and AI applications in science. He has held significant industry roles including Principal Engineer at Intel Corporation, co-founding startups such as Invision (acquired by Intel), VideoCites, and Sibylla. His work bridges academia and industry, emphasizing practical applications of theoretical insights. Research interests include foundational AI models for molecular biology, robust machine learning systems, and interdisciplinary applications in healthcare and robotics. Notable projects include protein structure prediction using AlphaFold integration, adversarial robustness frameworks, and medical imaging innovations like T1-PILOT for MRI acceleration. He actively collaborates with global institutions, maintaining labs in Haifa, Vienna, and Sardinia. Recent publications highlight advancements in quantum computing simulations, wearable health monitoring systems, and AI-driven biomedical solutions. While no explicit awards are listed, his leadership roles and industry impact underscore significant contributions to computational science. He mentors graduate students in his VISTA Lab, focusing on cutting-edge projects in AI, computer vision, and computational chemistry.

• Computer Vision
• Machine Learning
• Signal Processing
• +5 more

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.

• victimology
• sociology of knowledge
• cybercrime
• +2 more

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

• Concurrent Computing
• Programming Languages
• Memory Management
• +5 more