אתר זה משתמש בקובצי Cookies כדי להבטיח שתקבל את החוויה הטובה ביותר באתר שלנו. קראו את מדיניות הפרטיות ותנאי השימוש.

המרכז האקדמי לב - קישור לדף הבית
ניגודיות גבוהה
רישום מקוון למידע נוסף

שאלות נפוצות

ד"ר תרצה הרסט

ד"ר תרצה הרסט

ד"ר תרצה הרסט

  • אוניברסיטת בר-אילן, 1983–1985, B.Sc במתמטיקה ומדעי המחשב

    אוניברסיטת בר-אילן, 1986–1989, M.Sc במדעי המחשב, מנחה: פרופ' דוד הראל, תזה: חסכוניות הביטוי של תרשימי מיצוב (Succinctness Results for Statecharts), בהצטיינות

    מכון ויצמן למדע, 1990–1995, Ph.D במדעי המחשב, מנחה: פרופ' דוד הראל, תזה: נושאים במבנים אינסופיים (Topics on Infinite Recursive Structures), בהצטיינות

    אוניברסיטת Yale, קונטיקט, ארה"ב, 1996, פוסט-דוקטורט

    אוניברסיטת בר-אילן, 1997, פוסט-דוקטורט

  • הצטיינות דיקן על הצטיינות בשנה ג' ללימודי התואר הראשון, אוניברסיטת בר-אילן, 1986
    פרס ע"ש אהרון גרץ, אוניברסיטת בר-אילן, 1986
    פרס ע"ש קנדי על הצטיינות בלימודי דוקטורט, מדרשת פיינברג, מכון ויצמן למדע, 1994
    מלגת וולפסון ללימודי פוסט-דוקטורט, קרן וולפסון, 1995
    פרס הצטיינות ע"ש הנרי ובטי רוזנפלדר, המרכז האקדמי לב, 2008

  • אוניברסיטת בר-אילן, 1986–1989, 1997, עוזרת הוראה (מתרגלת)

    חברת מערכות מומחה בע"מ, 1986–1988, פיתוח תוכנה בשיטות בינה מלאכותית (AI)

    מיכלל, מעלה לבונה, 1997, מרצה

    מכללת הדסה, ירושלים, 1998–2004, מרצה

    המרכז האקדמי לב, ירושלים, 2000–היום, מרצה בכירה ולאחר מכן מורה בכירה

  • הוראת הקורסים:
    חישוביות וסיבוכיות, אוטומטים ושפות פורמליות, מבני נתונים, ניתוח אלגוריתמים, לוגיקה מתמטית, מערכות ספרתיות, תורת הגרפים ועוד

    מחקר בעיקר בתחומי התאוריה של מדעי המחשב, חישוביות וסיבוכיות

  • Publications

    Journals:

    1. T. Hirst and D. Harel, "On the Power of Bounded Concurrency II: Pushdown Automata", J. Assoc. Comput. Mach., 41, 540–554, 1994

    2. T. Hirst and D. Harel, "Taking it to the Limit: On Infinite Variants of NP-Complete Problems", J. Comput. Syst. Sci., 53(2), 180–193, 1996

    3. T. Hirst and D. Harel, "Completeness Results for Recursive Databases", J. Comput. Syst. Sci., 52(3), 522–536, 1996

    4. T. Hirst and M. Lewenstein, "Alternation and Bounded Concurrency are Reverse Equivalent", Information and Computation, 152(2), 173–187, 1999

    5. M.C. Golumbic, T. Hirst and M. Lewenstein, "Uniquely Restricted Matchings", Algorithmica, 31(2), 139–154, 2001

    6. T. Hirst, "A Rice-Style Theorem for Parallel Automata", Information and Computation, 207, 1–13, 2009

    7. Schweitzer, N., Stulman, A., Hirst, T., Margalit, R.D., and Shabtai, A., “Network Bottlenecks in OLSR Based Ad-hoc Networks”, Elsevier Ad Hoc Networks, vol. 88, pp. 36–54, May 2019, doi: 10.1016/j.adhoc.2018.12.002, Q1, IF 5.199, 23 citations

    8. Schweitzer, N., Cohen, L., Hirst, T., Dvir, A., & Stulman, A., "Achieving MANET Protection without the Use of Superfluous Fictitious Nodes", Computer Communications, 229, 107978, 2025, Q1, IF 5.932, 1 citation, https://doi.org/10.1016/j.comcom.2024.107978

    9. R. Azoulay, T. Hirst and S. Reches, "Large Language Models in Computer Science Classrooms: Ethical Challenges and Strategic Solutions", Appl. Sci., 15(4), 1793, 2025, 6 citations, https://doi.org/10.3390/app15041793

    Reviewed Conference Publications:

    1. T. Hirst and D. Harel, "On the Power of Bounded Concurrency II: Pushdown Automata", Proc. Concurrency 1988, Lecture Notes in Computer Science, Vol. 335, Springer-Verlag, New York, p. 104, 1988

    2. T. Hirst and D. Harel, "Taking it to the Limit: On Infinite Variants of NP-Complete Problems", Proc. 8th IEEE Conf. on Structure in Complexity Theory, IEEE Press, New York, 1993

    3. T. Hirst and D. Harel, "Completeness Results for Recursive Databases", 12th ACM Symp. on Principles of Database Systems, ACM Press, New York, 244–252, 1993

    4. T. Hirst and D. Harel, "More about Recursive Structures: Zero-One Laws and Expressibility vs. Complexity", Proc. 11th IEEE Symposium on Logic in Computer Science, 334–347, 1996

    5. R. Beigel and T. Hirst, "One Help-Bit Doesn't Help", Proc. Symposium of Theory of Computing, 1998

    6. H.G. Mendelbaum, R.B. Yehezkael, T. Hirst, A. Teitelbaum, S. Bloch, "Defining Parallel Automata and Their Conflicts", WSEAS CSCC Conference, Corfu, Greece, July 2003

    7. N. Schweitzer, A. Stulman, T. Hirst, R.D. Margalit, M. Armon and A. Shabtai, "Detecting Bottlenecks On-the-Fly in OLSR Based MANETs", IEEE 28th Convention of Electrical and Electronics Engineers in Israel, 2014

    8. A. Amir, A. Apostolico, T. Hirst, G.M. Landau, N. Lewenstein, L. Rozenberg, "Algorithms for Jumbled Indexing, Jumbled Border and Jumbled Square on Run-Length Encoded Strings", String Processing and Information Retrieval, Lecture Notes in Computer Science, Vol. 8799, pp. 45–51, 2014

    9. N. Schweitzer, A. Stulman, T. Hirst, R.D. Margalit, A. Shabtai, "Network Bottlenecks in OLSR Based Ad-hoc Networks", Ad Hoc Networks, 88, 36–54, 2019

    10. R. Azoulay, T. Hirst and S. Reches, "Academia and Industry Synergy: Addressing Integrity Challenge in Programming Education", ICAART 2024, Rome, Italy, Rank: B, 5 citations

    Book Chapter:
    R. Azoulay, T. Hirst and S. Reches, "Integrity in the AI Era: Collaborative Solutions for Programming Education", Lecture Notes in Computer Science (LNCS, Vol. 15592), pp. 191–211, 2025

  • עברית ואנגלית