She was an associate professor of computer science at Yale University,[4] and then at New York University, before moving to the University of Illinois Chicago in the early 2000s.[6]
Selected publications
Lichtenstein, Orna; Pnueli, Amir; Zuck, Lenore D. (1985), "The glory of the past", in Parikh, Rohit (ed.), Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings, Lecture Notes in Computer Science, vol. 193, Springer, pp. 196–218, doi:10.1007/3-540-15648-8_16
Carriero, Nicholas; Gelernter, David; Zuck, Lenore D. (1994), "Bauhaus Linda", in Ciancarini, Paolo; Nierstrasz, Oscar; Yonezawa, Akinori (eds.), Object-Based Models and Languages for Concurrent Systems, ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994, Selected Papers, Lecture Notes in Computer Science, vol. 924, Springer, pp. 66–76, doi:10.1007/3-540-59450-7_5
Pnueli, Amir; Ruah, Sitvanit; Zuck, Lenore D. (2001), "Automatic deductive verification with invisible invariants", in Margaria, Tiziana; Yi, Wang (eds.), Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001, Proceedings, Lecture Notes in Computer Science, vol. 2031, Springer, pp. 82–97, doi:10.1007/3-540-45319-9_7
Pnueli, Amir; Xu, Jessie; Zuck, Lenore D. (2002), "Liveness with (0, 1, ∞)-counter abstraction", in Brinksma, Ed; Larsen, Kim Guldstrand (eds.), Computer Aided Verification, 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27–31, 2002, Proceedings, Lecture Notes in Computer Science, vol. 2404, Springer, pp. 107–122, doi:10.1007/3-540-45657-0_9