פרופ' עמוס ישראלי

 AMOS ISRAELI 

RESUME 

November 2009 

Birth Date: January 5th 1952. 

Marital Status: Married + 3. 

Citizenship: Israeli. 

Office Address: School of Computer Science and Mathematics, Netanya Academic College, P.O. Box 120, Netanya 42100. 

Tel. (972)-9-860-7737 

Home Address: 5 Maale HaCarmel St. , P.O.B. 365, Zichron Yaakov 30900, Israel. 

Tel. (972)-4-639-1631. 

Academic Degrees 

1985 D.Sc., Computer Science, Computer Science Department, Technion, Haifa, Israel. 

1980 M.Sc., Computer Science, Applied Mathematics Department, Weizmann insttitute, Israel. 

1976 B.Sc. (with distinction), Mathematics and Physics, Faculty of Natural Sciences, 

Hebrew University, Jerusalem, Israel. 

Academic Appointments: 

2008-9 Visiting Scholar, Computer Science and Engineering, University of California, San Diego. 

2004-present Dean, School of Computer Science and Mathematics, Netanya Academic 

College, Netanya, Israel. 

2003-present Associate Professor, School of Computer Science and Mathematics, Netanya 

Academic College, Netanya, Israel. 

1998-2004 Associate Dean, School of Computer Science and Mathematics, Netanya Academic College, Netanya, Israel. 

1998-present Member of the Academic Council, Netanya Academic College, Netanya, Israel. 

1997-2003 Senior Lecturer, School of Computer Science and Mathematics, Netanya 

Academic College, Netanya, Israel. 

1992 Visiting Scientist, July-September 1992, Center for Mathematics and 2 

Computer Science (CWI), Amsterdam, Holland. 

1990-1994 Senior Lecturer, Electrical Engineering Department, Technion, Israel. 

1990 Visiting Scientist, July 1990, Waterloo University, Waterloo, Canada. 

1989-90 Lecturer, Computer science Department (Secondary Affiliation), 

Technion, Israel. 

1987-1990 Lecturer, Electrical Engineering Department, Technion, Haifa, Israel. 

1985-87 Post-Doctoral Fellow, Aiken Computation Lab., Harvard, USA. 

1982-85 Instructor, Computer Science Department Technion, Israel. 

Grants and Fellowships: 

1985-87 Dr. Chaim Weizmann Post-Doctoral Fellowship for Scientific Research. 

2003 Intel’s Annual Research Grant in Communication for A. Israeli and O. Sharon: “Maintenance of transport connections while changing local environment” 

Industrial Experience: 

1995-97 Software Developer, Intel, Haifa, Israel. 

1980-82 Software Developer, Scitex, Herzelia, Israel. 

Teaching Experience: 

1997-present School of Computer Science and Mathematics, Netanya Academic College, 

Netanya, Israel – Lecturer for Programming Languages, Parallel Algorithms, Introduction to Algorithms, Advanced Algorithms, Introduction to programming (Java) and Object Oriented Programming( JavaII). 

2000 UNESCO summer school in Netanya Academic College – Lecturer for Introduction to Distributed Computation (Equivalent to Graduate Course). 

1997-2000 Computer Science Department, The Open University, Tel-Aviv, Israel – Lecturer for Parallel Algorithms (Graduate Course). 

1987-94 Electrical Engineering Department, Technion, Israel – Lecturer for Software Systems (Computer Organization), Theory of Switching and Finite Automata. 

1987-94 Electrical Engineering Department, Technion, Israel – Lecturer for Topics in Multi-Processor Systems and Introduction for Parallel Computation (Graduate Courses). 3 

1984-85 Computer Science Department, Technion, Israel – Lecturer for Discrete Mathematics and for FORTRAN Programming. 

Professional Activities: 

1994 Program Committee member for WDAG94. 

2004-present Organizing and program committee co-chair for the Annual Israeli Conference 

on Software- Engineering and Management. 

Referee for: 

• Journal of the ACM. 

• SIAM Journal on Computing. 

• Information and Computation. 

• Distributed Computing. 

• Journal of Algorithms. 

• Computing Surveys. 

• Information Processing Letters. 

• Parallel Processing Letters. 

4 

Publications: 

Theses: 

• A. Israeli: On Scheduling the Construction of a Tree, M.Sc. thesis, Applied Mathematics Department, Weizmann Inst., July 1980. Thesis Advisor: Yehoshua Perl. 

• A. Israeli: Topics in Parallel Computation, D. Sc. Thesis, Computer Science Department, May 1985. Thesis Advisor: Yossi Shiloach. 

Journal Articles: 

1. A. Israeli and Y. Shiloach: An Improved Maximal Matching Parallel Algorithm, Information Processing Let., Vol. 22, Jan. 1986, pp. 57-60. 

2. A. Israeli and A. Itai: A Fast and Simple Randomized Parallel Algorithm for Maximal Matching, Information Processing Let., Vol. 22 Jan. 1986, pp. 77-80. 

3. B. Awerbuch, A. Israeli and Y. Shiloach: Finding Euler Circuits in Logarithmic Parallel Time, Advances in Computing Research, Vol. 4, 1987, pp. 69-78. 

4. A. Gibbons, A. Israeli and W. Rytter: Parallel O(log n) Time Edge Colouring of Trees and Halin Graphs, Information Processing Let., Vol. 27, Feb. 1988, pp. 43-51. 

5. E. Dahlhaus, A. Israeli and J.A. Makowsky: On the Existence of Polynomial Time Algorithms for Interpolation Problems in Propositional Logic, Notre Dame Journal of Formal Logic, Vol. 29, no. 4, Fall 1988, pp. 497-509. 

6. D. Bar-On, S. Gutman and A. Israeli: The TRACK Technion Robot and Controller Kit, Robotica (1993), vol. 11, PP. 497-509. 

7. A. Israeli and M. Jalfon: Uniform Self-Stabilizing Ring Orientation, Information and Computation, 104, pp. 175-196,1993. 

8. Israeli and M. Li: Bounded Time-Stamps, Distributed Computing, Vol. 6, pp. 205-209, 1993. 

9. R. Bar-Yehuda, A. Israeli and A. Itai: Multiple Communication in Multi-Hop Radio-Networks, SIAM Journal on Computing, Vol. 22, no. 4, 1993, pp. 875-887. 

10. S. Dolev, A. Israeli and S. Moran: Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity, Distributed Computing, Vol. 7, no. 1, 1993 (special issue on Self-Stabilization), pp. 3-16. 

11. B. Chor, A. Israeli and M. Li: Wait-Free Consensus Using Asynchronous Hardware, SIAM Journal on Computing, Vol. 23, no. 4, 1994, pp. 701-712. 

12. S. Dolev, A. Israeli and S. Moran: Analyzing Expected Time by Scheduler-Luck Games: Self-Stabilizing Leader Election as an example, IEEE Transactions on Software 

5 

Engineering, Vol. 21, no. 5, pp. 429-439, May 1995. 

13. A. Israeli, A. Shaham and A. Shirazi: Linear Time Snapshot Protocols for Unbalanced Systems, Mathematical System Theory 28, pp. 469-486 (1995). 

14. A. Zamsky, A. Israeli and S. Pinter: Optimal Time Byzantine Agreement for t<n/8 with Linear Messages, Distributed Computing, Vol. 9, pp. 95-108. 

15. S. Dolev, A. Israeli and S. Moran: Resource Bounds for Self-Stabilizing Message Driven Protocols, SIAM Journal on Computing, Vol. 28, No.1, pp.273-290, February 1997. 

16. A. Israeli, E. Kranakis, D. Krizzanc and N. Santoro: Time-Message Trade-Offs for the Weak Unison Problem, Nordic Journal of Computing 4 (4), pp. 317-341, 1997. 

17. S. Dolev, A. Israeli and S. Moran: Uniform Dynamic Self-Stabilizing Leader Election, IEEE Transactions on Parallel and Distributed Systems, 8 (4), pp. 424-440, 1997. 

18. J. Jehuda and A. Israeli: Automated Meta-Control for Adaptable Real-Time Software, Real Time Systems 14 (2), pp. 107-134, 1998. 

19. A. Israeli and A. Shirazi: The Time Complexity of Updating Snapshot Objects, Information Processing Letters 65 (1), pp 33-40, 1998 

20. A. Israeli and A. Shaham: Time and Space Optimal Implementation of Atomic Multi-writer Register, Information and Computation ,200, pp. 62-106, 2005. 

Accepted: 

21. A. Israeli D. Rawitz and O. Sharon: On the Complexity of Rectangle Placement in IEEE 802/16/WIMAX Systems, to be published in Information and Computation. 

22. A. Israeli and O. Sharon: An Approximation Algorithm for Sequential Rectangle Packing, to be published in Information Processing Letters. 

Refereed Conferences: 

1. B. Awerbuch, A. Israeli and Y. Shiloach: Finding Euler Circuits in Logarithmic Parallel Time, Proceedings of the 16th Annual ACM Symposium on Theory of Computing, May 1984, pp. 249-257. (This work is a preliminary announcement of results presented in article no. 3 in the list of journal articles). 

2. B. Chor, A. Israeli and M. Li: On Processor Coordination Using Asynchronous Hardware, Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing, August 1987, pp. 86-97. (This work is a preliminary announcement of results presented in article no. 11 in the list of journal articles). 

6 

3. Israeli and M. Li: Bounded Time-Stamps, Proceedings of the 28th Annual IEEE Symposium on Foundations of Computer Science, October 1987, pp. 371-382. (This work is a preliminary announcement of results presented in article no. 8 in the list of journal articles). 

4. S. Dolev, A. Israeli and S. Moran: Self-Stabilization of Dynamic Systems, Proceedings of 16th Conference of IEEE in Israel, March 1989. 

5. R. Bar-Yehuda, A. Israeli and A. Itai: Multiple Communication in Multi-Hop Radio-Networks, Proceedings of the 8th Annual ACM Symposium on Principles of Distributed Computing, August 1989, pp. 329-338. (This work is a preliminary announcement of results presented in article no. 9 in the list of journal articles). 

6. D. Bar-On, S. Gutman and A. Israeli: The TRACK Technion Robot and Controller Kit, Proceedings of the Israeli Conference on Instrumentation and Control, March 1990. 

7. S. Dolev, A. Israeli and S. Moran: Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, August 1990, pp. 103-117. (This work is a preliminary announcement of results presented in article no. 10 in the list of journal articles). 

8. A. Israeli and M. Jalfon: Token Management Schemes and Random Walks Yield Self-Stabilizing Mutual Exclusion, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, August 1990, pp. 119-131. (This work is a preliminary announcement of results presented in article no. 20 in the list of journal articles). 

9. A. Israeli and T. Nissim: A Simulation Generator for Multiprocessor Systems, Proceedings of the 5th Jerusalem Conference on Information Technology, October 1990. 

10. A. Israeli and M. Jalfon: Uniform Self-Stabilizing Ring Orientation, in Lecture Notes in Computer Science 486: Distributed Algorithms (Proceedings of the Fourth International Workshop on Distributed Algorithms, Bari, Italy, September 1990), J. Van Leeuwen and N. Santoro, Editors, pp. 1-14, Springer-Verlag, 1991. (This work is a preliminary announcement of results presented in article no. 7 in the list of journal articles). 

11. D. Bar-On, S. Gutman and A. Israeli: The TRACK Technion Robot and Controller Kit, Proceedings of the International Conference on Robotics and Automation, April 1991, pp. 332-337. (This work is a preliminary announcement of results presented in article no. 6 in the list of journal articles). 

12. S. Dolev, A. Israeli and S. Moran: Resource Bounds for Self-Stabilizing Message Driven Protocols, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, August 1991, pp. 281-293. (This work is a preliminary announcement of results presented in article no. 15 in the list of journal articles). 

7 

13. S. Dolev, A. Israeli and S. Moran: Uniform Dynamic Self-Stabilizing Leader Election, in Lecture Notes in Computer Science 579: Distributed Algorithms (Proceedings of the Fifth International Workshop on Distributed Algorithms, Delphi, Greece, October 1991), S. Toueg, P.G. Spirakis, L. Kirousis, Editors, pp. 163-180, Springer-Verlag, 1992. (This work is a preliminary announcement of results presented in article no. 12 in the list of journal articles). 

14. A. Israeli and A. Shaham: Optimal Multi-Writer Multi-Reader Atomic Register, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, August 1991, pp. 271-82. (This work is a preliminary announcement of results presented in article no. 21 in the list of journal articles). 

15. A. Israeli and M. Pinhasov, A Concurrent Time-Stamp Scheme which is Linear in Time and Space, in Lecture Notes in Computer Science 649: Distributed Algorithms (Proceedings of the sixth International Workshop on Distributed Algorithms, Haifa, Israel, November 1992), A. Segall and S. Zaks, Editors, pp. 95-109, Springer-Verlag, 1993. 

16. A. Zamsky, A. Israeli and S. Pinter: Optimal Time Byzantine Agreement for t<n/8 with Linear Messages, in Lecture Notes in Computer Science 649: Distributed Algorithms (Proceedings of the sixth International Workshop on Distributed Algorithms, Haifa, Israel, November 1992), A. Segall and S. Zaks, Editors, pp. 136-152, Springer-Verlag, 1992. (This work is a preliminary announcement of results presented in article no. 14 in the list of journal articles). 

17. D. Bar-On, D. Gershon, A. Israeli and G. Zuniga: The Cactus Operating System, in Concurrent Engineering Factory with a Future, Proceedings of the 13th Israeli Conference for Advanced Manufacturing Technology, December 1992, Israel. 

18. D. Bar-On, D. Gershon, A. Israeli and G. Zuniga: Track II: A Multi-Processor Robot Controller, Proceedings of the 7th Annual European Computer Conference, Comp-Euro 1993. 

19. A. Israeli and L. Rappoport: Efficient Wait-Free Implementation of a Concurrent Priority Queue, in Lecture Notes in Computer Science 725: Distributed Algorithms (Proceedings of the seventh International Workshop on Distributed Algorithms, Lausanne, Switzerland, September 1993), A. Schipper, Editor, pp. 1-17, Springer-Verlag, 1993. (This work is a preliminary announcement of results presented in article no. 22 in the list of journal articles). 

20. A. Israeli, A. Shaham and A. Shirazi: Linear Time Snapshot Protocols for Unbalanced Systems, in Lecture Notes in Computer Science 725: Distributed Algorithms (Proceedings of the seventh International Workshop on Distributed Algorithms, Lausanne, Switzerland, September 1993), A. Schipper, Editor, pp. 18-25, Springer-Verlag, 1993. (This work is a preliminary announcement of results presented in article no. 13 in the list of journal articles). 

21. A Israeli, E. Kranakis, D. Krizanc and N. Santoro: Time-Message Trade-Offs for the Weak Unison Problem, Proceedings of CIAC94. (This work is a preliminary announcement of results presented in article no. 19 in the list of journal articles). 

22. A. Israeli and L. Rappoport: Disjoint-Access-Parallel Implementation of Strong Shared Memory Primitives, Proceedings of the 11th Annual ACM Symposium on Principles of 

8 

Distributed Computing, August 1992, pp. 151-160. 

23. A. Israeli and A. Shirazi: The Complexity of Updating Snapshot Objects, Proceedings of ESA94. (This work is a preliminary announcement of results presented in article no. 18 in the list of journal articles). 

24. E. Peleg, A. Israeli, U. Schild: Semantically Rich Use-Case Modeling, Proceedings of the 3rd Annual Israeli Conference on Software – Engineering and Management, June 2005, unnumbered. 

25. A. Israeli D. Rawitz and O. Sharon: On the Complexity of Rectangle Placement in IEEE 802/16/WIMAX Systems, to be presented in ESA07. (This work is a preliminary announcement of results presented in article no. 21 in the list of journal articles). 

Lecture Notes 

1. A. Israeli: Introduction to Parallel Algorithms (a learning guide), Israel Open University Press, a preliminary version, 1999. 

2. A. Israeli: Introduction to Distributed Computing: Lecture Notes of A UNESCO Summer School, Netanya Academic College, July 2000. 

Technical Reports: 

1. A. Israeli and Y. Perl: On Scheduling the Construction of a Tree, Technical Report CS81-02, April 1981, Department of Applied Math., The Weizmann Insttitute of Science, Rehovot, Israel. 

2. A. Israeli and Y. Perl: On Scheduling the Construction of an External Star Tree, Tree, Technical Report CS81-19, August 1981, Department of Applied Math., The Weizmann Insttitute of Science, Rehovot, Israel. 

3. A. Israeli and Y. Shiloach: Fast UltraComputer Algorithms for Sparse Matrix Multiplication, Technical Report no. 121, May 1983, IBM Israel Scientific Center, Technion, Haifa, Israel. 

4. B. Awerbuch, A. Israeli and Y. Shiloach: Efficient Simulation of PRAM by ULTRACOMPUTER , T.R. no. 120, May 1983, IBM Scientific Center, Technion, Haifa, Israel. 

5. A. Israeli and Y. Shiloach: Sparse Matricx Multiplication, A Simple and Efficient Parallel Algorithm, Technical Report no. 339, Octopber 1984, Computer Science Department Technion, Haifa, Israel. 

6. A. Israeli and M. Li: Bounded Time Stemps, TR-01-88, Harvard University Center for Research in Computing Technology. 

7. A. Israeli M. Li and P.M.B. Vitanyi: Simple Multireader Registers Using Time-Stamps Schemes, Report CS-R8758, November 1987, Center for Mathematics and Computer 

9 

Science, Amsterdam, Holland. 

8. S. Dolev, A. Israeli and S. Moran: Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity, Technical Report No. 500, November 1989, Computer Scienc Department, Technion. Haifa, Israel. 

9. S. Dolev, A. Israeli and S. Moran: Resouce Bounds for Self-Stabilizing Message Driven Protocols, Technical Report no. 641, July 1990, Computer Science Department, Technion, Haifa, Israel. 

10. D. Bar-On, S. Gutman and A. Israeli: The TRACK Technion Robot and Controller Kit, EE Pub no. 768, September 1990, Electrical Engineering Department, Technion, Haifa, Israel. 

11. D. Bar-On, D. Gershon, A. Israeli and G. Zuniga: TRACK II: Amulti-Processor Robot Controller, EE Pub No. 805, October 1991, Ellectrical Engineering Department, Technion, Haifa, Israel. 

12. S. Dolev, A. Israeli and S. Moran: Resource Bounds for Self-Stabilizing Message Driven Protocols (revised version), Technical Report no. 748, July 1992, Computer Science Department, Technion, Haifa, Israel. 

13. A. Israeli and A. Shaham: Optimal Multi-Writer Multi-Reader Atomic Register, Report CS-R9235, September 1992, Center for Mathematics and Computer Science, Amsterdam, Holland. 

14. A. Israeli, A. Shaham and A. Shirazi: Linear-Time Snapshot Protocols for Unbalanced Systems, Report CS-R9236, September 1992, Center for Mathematics and Computer Science, Amsterdam, Holland. 

15. S. Dolev, A. Israeli and S. Moran: Uniform Self-Stabilizing Leader Election Part 1:Complete Graph Protocols, Report CS-R9307, February 1993, Center for Mathematics and Computer Science, Amsterdam, Holland. 

16. A. Israeli, E. Kranakis, D. Krizanc, N. Santoro: Time-Message Trade-Offs for the Weak Unison Problem, Technical Report no. 222, Computer Science Department, Carleton University, March 1993. 

17. S. Dolev, A. Israeli and S. Moran: Uniform Self-Stabilizing Leader Election Part 1:Complete Graph Protocols, Technical Report no. 807, March 1994, Computer Science Department, Technion, Haifa, Israel. 

18. S. Dolev, A. Israeli and S. Moran: Uniform Self-Stabilizing Leader Election Part 2: General Graph Protocols, Technical Report 94-039, April 1994, Department of Computer Science, Texas A&M University. 

10 

Graduate Students 

1. Gideon Cohen: Resource Allocation Under Various System Constraints, M.Sc., final paper, completed, March 1989. 

2. Shlomi Dolev: Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity, M.Sc., thesis, completed, January 1990. (Primary advisor together with Prof. S. Moran). 

3. David Bar-On: A Flexible Controller for Robots, M.Sc., project, completed, April 1990. (Primary advisor together with Prof. S. Gutman). 

4. Gideon Yona: Atomicity Proofs Using Global Time, M.Sc., thesis, completed, April 1990. (Primary advisor together with Dr. S. Ben-David). 

5. Marc Jalfon: Randomized Self-Stabilizing Uniform Protocols for Distributed Systems, M.Sc., thesis, completed May 1990. 

6. Theodore Nissim: “SimGen” – A Simulation Generator for Multi-Processor Systems, M.Sc., project, completed, January 1991. 

7. Yael Rindenau: An Efficient Algorithm for the Maximum Dynamic Flow Problem, M.Sc., thesis, completed, June 1991. (Prof. S. Moran is primary advisor). 

8. Meir Pinhasov: A Linear Time Bounded Concurrent Time-Stamp Scheme, M.Sc., thesis, completed, June 1991. 

9. Gabriel Zuniga : Multi-Processor Controller for Real Time Systems, M.Sc., project, completed, June 1992. 

10. Shlomi Dolev: Dynamic Self-Stabilizing Distributed Systems, D.Sc., completed, July 1992. 

11. Amnon Shaham: Optimal Implementation of Multi-Writer Multi-Reader Atomic Register, M.Sc., thesis, completed, December 1993. 

12. David Bar-On: An Intelligent System for Robot Control, D.Sc., completed, May 1994. (Prof. S. Gutman is primary advisor, secondary advisor with Dr. D. Gershon) 

13. Lihu Rappoport: Parallel Lock-Free Implementations of Concurrent Data Structures, D.Sc, completed, February 1997. (Prof. S. Moran is advisor since January 1995 after Lihu passed his candidacy exam). 

14. Yair Yehuda: A Top-Layer Design Approach to Complex Real-Time Software, D.Sc., Completed, Oct. 1998. (Dr. D. Zernik was secondary advisor in 1992-1993, Prof. D. Barry is advisor since January 1995 after Yair passed his candidacy exam). 

15. Asaf Shirazi: Efficient Wait-Free Implementations of Atomic Snapshot Memories, M.Sc., Completed, March 1995. 

11 

16. Arkady Zamsky: Combining Protocol for Improving Consensus Results, D.Sc., completed, December 1998 (Dr. Y. Moses is primary supervisor since January 1995).