Postdoc and Research Associates Supervision:

 1. Dr. Michael Rudzsky, Giladi Program, 1996-1998. Last seen as: Researcher at Technion – Israel Institute of Technology“. Linkedin.

 2. Dr. Enno Scholtz, Minnerva Grant, Spring, 1997. Last seen as: Co-Founder & CEO at HYPE Innovation“. Linkedin.

 3. Dr. Cristina Monni, Spring/Summer, 2014. Last seen as: Postdoctoral Fellow – University of LuganoLinkedin.


4. Dr. Matteo Orru. Postdoctoral Fellow – Faculty of Computer Science (Technion – Israel Institute of Technology)Linkedin.

Ph.D. Students:

1. Prof. David H. Lorenz (1999). Compilation of Source Code into Object-Oriented Patterns. Last seen as: Associate Professor  Department of Mathematics and Computer Science (The Open University of Israel) and Visiting Associate Professor  Faculty of Computer Science (Technion – Israel Institute of Technology)“. Linkedin.

2. Dr. Amnon H. Eden (2000). Precise Specification of Design Patterns and Tool Support in Their Application. Last seen as: Principal Scientist at Sapience.orgLinkedin.

3. Dr. Yoav Zibin (2004). Efficient Algorithms for the Runtime Environment of Object Oriented Languages. Last seen as: “CTO and co-founder at Come2PlayLinkedin.

4. Dr. Tal Cohen (2007). Applying Aspect-Oriented Software Development to Middleware Frameworks. Last seen as: “Software engineering manager, Google.

5. Dr. Itay Maman (2012). Formal Patterns in Java Programs. Last seen as: “Teaching Software Design – Faculty of Computer Science (Technion – Israel Institute of Technology) and Devops technical lead at Google“. Linkedin.

6. Dr. Keren Lenz (2013). Internal and External Mechanisms for Extending Programming Languages. Last seen as: “Faculty of Computer Science, Technion – Israel Institute of Technology.


7. Gal Lalush. The consistency, independence and validity of Software Complexity Metrics.

M.Sc. Students:

1. Erez (Arzhang) Nassimi (1994). Last seen as: R&D Team Leader at Comm-IT“. Linkedin.

2. Hayim Makabee (Ricardo Szmit) (1995). Configurable objects : theory & practice (x). Last seen as: CEO at KashKlikLinkedin.

3. David Barta (1996). A System for Document Reuse (x). Last seen as: Software Architect at DELL-EMC“. Linkedin.

4. Beery Holstein (1997). T++ : Test Case Generator Using Code Abstraction (x). Last seen as: Product Manager, Cloud Developer Services, IBM Watson and Cloud Platform“. Linkedin.

5. Leonid Voldman (1997). Using Smart Terminals to Effectively Enhance Communication Throughput (x). Last seen as: CTO at TokenID” . Linkedin.

6. Jacob Eckel (1998). A Framework for Static Checking of Design Level Traits (x). Last seen as: Director of Technology at“. Linkedin.

7. Natalie Eckel (2001). Empirical Study of Object-Layout Strategies and Optimization TechniquesLast seen as: Special Education Student, Oranim College of Education”. Linkedin.

8. Alexander Gorovoy (2001). Applying Data Compression Algorithms to Software Engineering (x). Last seen as: Principal SW Engineer at MediGuide“. Linkedin.

9. Yuri Tsoglin (2001).  JAMOOS – an Object Oriented Language for GrammarsLast seen as: “Software Engineer at Cadence“.

10. Yan Sorkin (2001). CD-Edit- A Constraint Diagrams’ EditorLast seen as: Sr. Engineering Manager at GE Healthcare“. Linkedin.

11. Elena Tulchinsky (2002). Positive Semantics of Projections in Venn-Euler Diagrams Last seen as: Algorithm Architect at Intango“. Linkedin.

12. Uri Dekel (2003). Revealing JAVA Class Structure with Concept LatticesLast seen as: Senior Software Engineer at Google“. Linkedin.

13. Uriel Cohen (2003). Object Relations and Syntactic Mechanisms in Design Patterns (x). Last seen as: Senior SDE at Microsoft“. Linkedin.

14. Zvi Gutterman (2004). Symbolic Pre-Computation for Numerical Applications Last seen as: CEO at CloudShare“. Linkedin.

15.  Anna Bekkerman (2004). Conflict Resolution and Operator Priorities in Extended BNFLast seen as: Sr. Software Engineer at IBM“. Linkedin.

16. Evelina Zarivach (2008). Evaluating Datalog Programs over Infinite and Founded DatabasesLast seen as: Software Engineer at IntelLinkedin.

17. Tali Shragai (2009). Empiric Evaluation of the Usability of Virtual Function Calls within ConstructorsLast seen as: Product Director -Product Madness (London)“. Linkedin.

18. Yuval Shimron (2012). Smaller Footprint for Java CollectionsLast seen as: Lead Software Engineer at Yahoo“. Linkedin.

19. Sabih Agbaria (2013). On Incomplete Bug Fixes and Programmers’ Intuition on These. Last seen as: “Independent App/Games Developer“. 

20. Elior Malul (2014). Towards Temporal Correctness of Event ProcessingLast seen as: Data Scientist Engineer at“. Linkedin.

21. Eli Sennesh (2015). Unstructured Jumps and Compressed Size as Defect-Prediction MetricsLast seen as: Software engineer at Adept Mobile“. Linkedin.

22. Iddo Zmiry (2016). Lola – A Programming Language for Augmenting Programming Languages .

23. Tomer Levy (2017). Fajita – a Fluent API for Automatic Generation of Fluent APIs in Java. Last seen as: Software Engineer“. Linkedin.


24. Ori Markovitch. A Nano Patterns Language for Java. M.Sc. Student at Technion – Israel Institute of Technology. Linkedin.

25. Matan Peled. Thapl- Theatrical Programming Language. M.Sc. Student at Technion – Israel Institute of Technology. Linkedin.

26. Barak Pat. Geosocial Search- Finding places based on Geotagged Social-Media Posts. M.Sc. Student at Technion – Israel Institute of Technology. Linkedin.

27. Lior Samuel. Explaining the Density Paradox. M.Sc. Student at Technion – Israel Institute of Technology.

28. Dor Maayan. Nominal Patterns. M.Sc. Student at Technion – Israel Institute of Technology.