חברי סגל

מריוס אונגריש, פרופ'

דואר אלקטרוני:: ungacs.technion.ac.il
משרד:: 707
טלפון:: 4366

סימולציות וחישובים בדינמיקה של זורמים; אלגוריתמים נומריים מקביליים עבור "מחשבי על", התיאוריה של זרימות דו-פאזיות וסובבות; אנליזה נומרית.

[מידע נוסף]

ניר אילון

דף בית:: http://nailon.googlepages.com/
דואר אלקטרוני:: nailoncs.technion.ac.il
משרד:: 607
טלפון:: 4842

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

[מידע נוסף]

אלון איתי, פרופ'

דף בית:: http://www.cs.technion.ac.il/~itai/
דואר אלקטרוני:: itaics.technion.ac.il
משרד:: 723
טלפון:: 4337

מבני נתונים אלגוריתמים דטרמיניסטים ורנדומיאליים; אלגוריתמים לזיכרון היררכי; שיטות סטטיסטיות לעיבוד שפות טבעיות.

[מידע נוסף]

רן אל-יניב, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~rani/
דואר אלקטרוני:: ranics.technion.ac.il
משרד:: 526
טלפון:: 3379

למידת מכונה וכריית מידע, אלגוריתמים מקוונים וניתוח תחרותי, שימושים למימון וכלכלה

[מידע נוסף]

גרשון אלבר, פרופ'

דף בית:: http://www.cs.technion.ac.il/~gershon/
דואר אלקטרוני:: gershoncs.technion.ac.il
משרד:: 429
טלפון:: 4338

תיכון גיאומטרי בעזרת מחשב; מידול גופים; גרפיקה ממוחשבת.

[מידע נוסף]

מיכאל אלעד, פרופ'

דף בית:: http://www.cs.technion.ac.il/~elad/
דואר אלקטרוני:: eladcs.technion.ac.il
משרד:: 438
טלפון:: 4169

עיבוד אותות, תמונות, וראייה ממוחשבת. שיטות מתמטיות לייצוג תמונות, ושיטות נומריות לפתרון בעיות בעיבוד תמונות.

[מידע נוסף]

אלי ביהם, פרופ'

דף בית:: http://www.cs.technion.ac.il/~biham/
דואר אלקטרוני:: deancs.technion.ac.il
משרד:: 537
טלפון:: 4261/2

קריפטוגרפיה סימטרית ,קריפטולוגיה וקריפטאנליזה, חישוב וקריפטוגרפיה קוונטיים.

[מידע נוסף]

מירלה בן-חן, דר'

דף בית:: http://www.cs.technion.ac.il/~mirela/
דואר אלקטרוני:: mirelacs.technion.ac.il

גרפיקה ממוחשבת, עיבוד גיאומטריה, גיאומטריה דיפרנציאלית דיסקרטית, ניתוח והבנת צורות.

[מידע נוסף]

אלי בן-ששון, פרופ'/ח'

דף בית:: http://www.eecs.harvard.edu/~eli/
דואר אלקטרוני:: elics.technion.ac.il
משרד:: 523
טלפון:: 4892

מורכבות חישובים; מורכבות הוכחות; אנליזה של אלגוריתמים להכרעת ספיקות מעגלים; אלגוריתמים תת-לינאריים לבדיקת הוכחות וצפנים לתיקון שגיאות.

[מידע נוסף]

ראובן בר-יהודה, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~reuven/
דואר אלקטרוני:: reuvencs.technion.ac.il
משרד:: 527
טלפון:: 4332

אופטימיזציה קומבינטורית: אלגוריתמי שיבוץ, גיאומטריה חישובית, אלגוריתמים בתורת הגרפים, אלגוריתמים מבוזרים.

[מידע נוסף]

אלפרד ברוקשטיין, פרופ'

דף בית:: http://www.cs.technion.ac.il/~freddy/
דואר אלקטרוני:: freddycs.technion.ac.il
משרד:: 718
טלפון:: 4361

עיבוד אותות ותמונות, ראייה ממוחשבת וניתוח תמונות, זיהוי צורות, גיאומטריה שימושית, רובוטיקה, במיוחד רובוטיקה מבוזרת, תורת השערוך, קידוד עצבי.

[מידע נוסף]

יורם ברעם, פרופ'

דף בית:: http://www.cs.technion.ac.il/~baram/
דואר אלקטרוני:: baramcs.technion.ac.il
משרד:: 739
טלפון:: 4266

תורת הלמידה הסטטיסטית; זיהוי צורות, סיווג רגרסיה. זיכרון אסוציאטיבי: קיבולת הזיכרון והדינמיקה של רשתות לא-לינאריות. מציאות וירטואלית ובקרת משוב לתיקון הפרעות תנועה.

[מידע נוסף]

גיל ברקת, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~barequet/
דואר אלקטרוני:: barequetcs.technion.ac.il
משרד:: 428
טלפון:: 3219

גיאומטריה דיסקרטית וחישובית; חישובים גיאומטריים; קומבינטוריקה; תכנון גיאומטרי בעזרת מחשב; גרפיקה ותצוגה.

[מידע נוסף]

נאדר בשותי, פרופ'

דף בית:: http://www.cs.technion.ac.il/~bshouty/
דואר אלקטרוני:: bshoutycs.technion.ac.il
משרד:: 737
טלפון:: 4310

למידה חישובית.

[מידע נוסף]

חיים גוטסמן, פרופ'

דף בית:: http://www.cs.technion.ac.il/~gotsman/
דואר אלקטרוני:: gotsmancs.technion.ac.il
משרד:: 430
טלפון:: 4336

גרפיקה ממוחשבת; אנימציה; גיאומטריה חישובית.

[מידע נוסף]

דן גייגר, פרופ'

דף בית:: http://www.cs.technion.ac.il/~dang/
דואר אלקטרוני:: dangcs.technion.ac.il
משרד:: 616
טלפון:: 4339

תיאוריה ויישום של רשתות הסקה הסתברותית; בינה מלאכותית; סטטיסטיקה בייסיאנית.

[מידע נוסף]

יוסי גיל, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~yogi/
דואר אלקטרוני:: yogics.technion.ac.il
משרד:: 520
טלפון:: 4333

הנדסת תוכנה, תכנות מונחה עצמים; שפות תכנות; מנשק אדם-מכונה; שפות תכנות ויזואליות; תורת ההידור

[מידע נוסף]

ארנה גרימברג, פרופ'

דף בית:: http://www.cs.technion.ac.il/~orna/
דואר אלקטרוני:: ornacs.technion.ac.il
משרד:: 620
טלפון:: 4327

אימות בעזרת מחשב של חומרה ותוכנה; מודולריות ואבסטרקציה; לוגיקה טמפורלית; בדיקת מודל מקבילית, שקילויות ויחסי סדר בין מבנים, אימות מונחה-SAT, משחקים.

[מידע נוסף]

שמואל זקס, פרופ'

דף בית:: http://www.cs.technion.ac.il/~zaks/
דואר אלקטרוני:: zakscs.technion.ac.il
משרד:: 724
טלפון:: 4329

אלגוריתמים מבוזרים; רשתות ATM ורשתות אופטיות; אלגוריתמים בתורת הגרפים; קומבינטוריקה ותורת הגרפים; מתמטיקה דיסקרטית.

[מידע נוסף]

עירד יבנה, פרופ'

דף בית:: http://www.cs.technion.ac.il/~irad/
דואר אלקטרוני:: iradcs.technion.ac.il
משרד:: 618
טלפון:: 4945

שיטות רב-סריג; חישוב מדעי; פיסיקה חישובית; דינמיקת זורמים גיאופיסיים; עיבוד וניתוח תמונה; אנליזה נומרית.

[מידע נוסף]

ערן יהב, דר'

דף בית:: http://www.cs.technion.ac.il/~yahave/
דואר אלקטרוני:: yahavecs.technion.ac.il
משרד:: 734
טלפון:: 4318

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

[מידע נוסף]

יובל ישי, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~yuvali/
דואר אלקטרוני:: yuvalics.technion.ac.il
משרד:: 525
טלפון:: 4941

קריפטוגרפיה, תורת הסיבוכיות.

[מידע נוסף]

ראובן כהן, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~rcohen/
דואר אלקטרוני:: rcohencs.technion.ac.il
משרד:: 614
טלפון:: 4305

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

[מידע נוסף]

שמואל כץ, פרופ'

דף בית:: http://www.cs.technion.ac.il/~katz/
דואר אלקטרוני:: katzcs.technion.ac.il
משרד:: 635
טלפון:: 4322

אימות תוכניות; תיאורי דרישות פורמליים; פיתוח תוכנה מונחה אספקטים; מערכות מבוזרות; לוגיקה טמפורלית; שפות תכנות; הנדסת תוכנה.

[מידע נוסף]

עמי ליטמן, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~litman/
דואר אלקטרוני:: litmancs.technion.ac.il
משרד:: 627
טלפון:: 4357

אלגוריתמים מקביליים; רשתות קבועות-קשר; רשתות ניתוב; מערכות סיסטוליות; VLSI .

[מידע נוסף]

מיכאל לינדנבאום, פרופ'

דף בית:: http://www.cs.technion.ac.il/~mic/
דואר אלקטרוני:: miccs.technion.ac.il
משרד:: 600
טלפון:: 4331

ראיית מכונה ועיבוד תמונות; למידה; כימות וחיזוי ביצועים עבור מערכות לזיהוי עצמים ולקיבוץ (grouping).

[מידע נוסף]

טל מור, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~talmo/
דואר אלקטרוני:: talmocs.technion.ac.il
משרד:: 634
טלפון:: 4885

עיבוד אינפורמציה קוואנטית (תיאוריה): קריפטולוגיה, חישוב, אינפורמציה, תקשורת. מימוש עיבוד אינפורמציה קוונטית.

[מידע נוסף]

שלמה מורן, פרופ'

דף בית:: http://www.cs.technion.ac.il/~moran/
דואר אלקטרוני:: morancs.technion.ac.il
משרד:: 639
טלפון:: 4363

הבטים אלגוריתמיים בביולוגיה חישובית (עם דגש על עצים פילוגנטיים), קומבינטוריקה ותורת הגרפים

[מידע נוסף]

יוהן מקובסקי, פרופ'

דף בית:: http://www.cs.technion.ac.il/~janos/
דואר אלקטרוני:: janoscs.technion.ac.il
משרד:: 628
טלפון:: 4358

לוגיקה וסיבוכיות, סיבוכיות מעל הממשים, קומבינטוריקה אלגברית.

[מידע נוסף]

שאול מרקוביץ, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~shaulm/
דואר אלקטרוני:: shaulmcs.technion.ac.il
משרד:: 609
טלפון:: 4346

מערכות לומדות; בינה מלאכותית; חיפוש יוריסטי; חיפוש בעצי משחק; למידה בסביבה מרובת סוכנים.

[מידע נוסף]

ספי נאור, פרופ'

דף בית:: http://www.cs.technion.ac.il/~naor/
דואר אלקטרוני:: naorcs.technion.ac.il
משרד:: 633
טלפון:: 4328

אלגוריתמים דיסקרטיים עם דגש על אלגוריתמי קירוב; אלגוריתמים מקוונים ואלגוריתמים הסתברותיים; אלגוריתמים ברשתות תקשורת.

[מידע נוסף]

אברהם סידי, פרופ'

דף בית:: http://www.cs.technion.ac.il/~asidi/
דואר אלקטרוני:: asidics.technion.ac.il
משרד:: 722
טלפון:: 4364

קרובי Pad?; היפוך מקורב של טרנספורמי לפלס; האצת התכנסות ושיטות אכסטרפולציה לסדרות סקלריות ווקטוריות; אינטגרציה נומרית; פתרון נומרי למשוואות אינטגרליות סינגולריות ובעלות סינגולריות חלשה; קירובים אכספוננציאליים, שיטות אסימפטוטיות; אלגברה ליניארית נומרית.

[מידע נוסף]

חגית עטיה, פרופ'

דף בית:: http://www.cs.technion.ac.il/~hagit/
דואר אלקטרוני:: hagitcs.technion.ac.il
משרד:: 742
טלפון:: 4365

תיאוריה של מערכות מבוזרות: אלגוריתמים, חסמים תחתונים ומודלים, אמינות; אלגוריתמים לרשתות תקשורת; מערכות מרובות-מעבדים.

[מידע נוסף]

טובי עציון, פרופ'

דף בית:: http://www.cs.technion.ac.il/~etzion/
דואר אלקטרוני:: etzioncs.technion.ac.il
משרד:: 636
טלפון:: 4311

תורת הצפינה; סדרות ספרתיות בתקשורת וצפינה; אלגוריתמים ובניות קומבינטוריות.

[מידע נוסף]

יואב עציון

דף בית:: http://www.cs.technion.ac.il/~yetsion/
דואר אלקטרוני:: yoav.etsiontce.technion.ac.il
משרד:: 308-6 Fischbach
טלפון:: 1926

המרכז להנדסת מחשבים בטכניון, מינוי משותף עם הפקולטה להנדסת חשמל

ארכיטקטורה של מעבדים, מערכות מחשב ועיבוד מקבילי, ממשק חומרה/תוכנה, מערכות הפעלה, מודלי חישוב מקביליים, חישוב עתיר ביצועים.

[מידע נוסף]

ארז פטרנק, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~erez/
דואר אלקטרוני:: erezcs.technion.ac.il
משרד:: 528
טלפון:: 4942

ניהול זיכרון, מערכות, מערכות מקביליות, קריפטוגרפיה, סיבוכיות, אלגוריתמי קירוב.

[מידע נוסף]

רון פינטר, פרופ'

דף בית:: http://www.cs.technion.ac.il/~pinter
דואר אלקטרוני:: pintercs.technion.ac.il
משרד:: 705
טלפון:: 4955

ביואינפורמטיקה; מיחשוב על; שפות תכנות; קומפילציה; תכנון אוטומטי של מעגלים משולבים; איחזור, ארגון ומיזוג מידע.

[מידע נוסף]

אלדר פישר, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~eldar/
דואר אלקטרוני:: eldarcs.technion.ac.il
משרד:: 625
טלפון:: 3967

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

[מידע נוסף]

רועי פרידמן, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~roy/
דואר אלקטרוני:: roycs.technion.ac.il
משרד:: 605
טלפון:: 4264

מערכות מבוזרות; תקשורת קבוצתית; מערכות תווכה .NET-ו CORBA; לות מחשבים; אפליקציות מולטימדיה מבוזרות, חישוב נייד.

[מידע נוסף]

דן צפריר, דר'

דף בית:: http://www.cs.technion.ac.il/~dan/
דואר אלקטרוני:: dancs.technion.ac.il
משרד:: 611
טלפון:: 2056

מערכות הפעלה, מערכות מקביליות, אבטחת מערכות, אחסון, שפות תכנות, הערכת ביצועים

[מידע נוסף]

איל קושלביץ, פרופ'

דף בית:: http://www.cs.technion.ac.il/~eyalk/
דואר אלקטרוני:: eyalkcs.technion.ac.il
משרד:: 530
טלפון:: 4303

פרוטוקולים קריפטוגרפיים ופרטיות במערכות מבוזרות; תורת הלמידה; אקראיות במערכות מבוזרות; סיבוכיות וסיבוכיות-תקשורת.

[מידע נוסף]

רון קימל, פרופ'

דף בית:: http://www.cs.technion.ac.il/~ron/
דואר אלקטרוני:: roncs.technion.ac.il
משרד:: 439
טלפון:: 4616

עיבוד תמונות, ראייה ממוחשבת, ניתוח תמונות רפואיות, ניווט רובוטים, גרפיקה ממוחשבת, גיאומטריה דיפרנציאלית, חישוב מדעי.

[מידע נוסף]

מיכאל קמינסקי, פרופ'

דואר אלקטרוני:: kaminskics.technion.ac.il
משרד:: 721
טלפון:: 4360

לוגיקה במדעי המחשב; אוטומטים סופיים; סיבוכיות של חישובים אלגבריים.

[מידע נוסף]

ירון קנזה, דר'

דף בית:: http://www.cs.technion.ac.il/~kanza
דואר אלקטרוני:: kanzacs.technion.ac.il
משרד:: 514
טלפון:: 4939

מערכות מסדי נתונים ותיאוריה של מסדי נתונים: אינטגרציה של מידע, העברת מידע סמנטי בין אפליקציות, טיפול במידע חסר ובמידע הסתברותי, פרטיות ובקרת גישה לנתונים; ניהול מידע באינטרנט: שאילתות ושאילתות חיפוש מעל XML; ניהול מידע מרחבי וגיאוגרפי.

[מידע נוסף]

רוני רוט, פרופ'

דף בית:: http://www.cs.technion.ac.il/~ronny/
דואר אלקטרוני:: ronnycs.technion.ac.il
משרד:: 637
טלפון:: 4291

צפינת ערוץ; תורת האינפורמציה; אלגברה ושימושיה בצפינה ובסיבוכיות.

[מידע נוסף]

דני רז, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~danny
דואר אלקטרוני:: dannycs.technion.ac.il
משרד:: 512
טלפון:: 4938

תיאוריה ויישום של בעיות הקשורות לניהול רשתות תקשורת מחשבים בעיקר בתחום ה-IP. במיוחד: רשתות אקטיביות (Active Networks); בעיות מיקום שרתים; תיאוריה של ניהול רשתות תקשורת, תקשורת אלחוטית ובעיות אופטימיזציה שונות.

[מידע נוסף]

אהוד ריבלין, פרופ'

דף בית:: http://www.cs.technion.ac.il/~ehudr/
דואר אלקטרוני:: ehudrcs.technion.ac.il
משרד:: 744
טלפון:: 4304

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

[מידע נוסף]

אסף שוסטר, פרופ'

דף בית:: http://www.cs.technion.ac.il/~assaf/
דואר אלקטרוני:: assafcs.technion.ac.il
משרד:: 626
טלפון:: 4330

חישוב מקבילי ומבוזר.

[מידע נוסף]

הדס שכנאי, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~hadas/
דואר אלקטרוני:: hadascs.technion.ac.il
משרד:: 623
טלפון:: 4359

אלגוריתמים לבעיות באופטימיזציה קומבינטורית, בפרט לבעיות אריזה, תזמון והקצאת משאבים עם יישומים במערכות מידע ותקשורת. אלגוריתמים אקראיים; אלגוריתמים פרמטריים ושימושיהם במציאת פתרונות מקורבים; חישוב מקבילי.

[מידע נוסף]

תומר שלומי, דר'

דף בית:: http://www.cs.technion.ac.il/~tomersh/
דואר אלקטרוני:: tomershcs.technion.ac.il
משרד:: 632
טלפון:: 4356

ביואינפורמטיקה; אנליזה של רשתות ביולוגיות: מידול מבוסס אילוצים של רשתות מטבוליות; אנליזה של רשתות אינטרקציה בין חלבונים.

[מידע נוסף]

עודד שמואלי, פרופ'

דף בית:: http://www.cs.technion.ac.il/~oshmu
דואר אלקטרוני:: oshmucs.technion.ac.il
משרד:: 716
טלפון:: 4280

מערכות מסדי נתונים: אספקטים תיאורטיים של ביצוע שאילתות במסדי נתונים יחסיים, XML במסדים מבוססי ובמסדי נתונים מבוססי לוגיקה (Datalog); אספקטים מערכתיים: אחסון פיזי, בקרת מקביליות, התאוששות מנפילות, שכפול וביזור; שאילתות על ה-WWW; מסחר אלקטרוני; משא ומתן אוטומטי.

[מידע נוסף]

אמיר שפילקה, פרופ'/ח'

דף בית:: http://www.cs.technion.ac.il/~shpilka
דואר אלקטרוני:: shpilkacs.technion.ac.il
משרד:: 521
טלפון:: 4907

תיאוריה של מדעי המחשב: סיבוכיות חישובים ובמיוחד סיבוכיות של מעגלים אריתמטים; קשרים בין התורה של קודים מתקני שגיאות לבעיות בסיבוכיות של חישובים; בעיות אלגבריות במדעי המחשב; בעיות דה-רנדומיזציה.

[מידע נוסף]

פרופסורים אורחים

אבי מנדלסון, פרופ'

דף בית:: http://www.cs.technion.ac.il/~mendlson/
דואר אלקטרוני:: avimmicrosoft.com
משרד:: 643
טלפון:: 4950

[מידע נוסף]

אמריטוס

מיכאל היימן, פרופ'

דף בית:: http://www.cs.technion.ac.il/~heymann/
דואר אלקטרוני:: heymanncs.technion.ac.il
משרד:: 711
טלפון:: 4163

רובוטיקה; בקרה סימבולית; מערכות אירועים בדידים.

[מידע נוסף]

מיכאל יואלי, פרופ'

דף בית:: http://www.cs.technion.ac.il/~myoeli/
דואר אלקטרוני:: myoelics.technion.ac.il
משרד:: 719
טלפון:: 4301

איפיון ואימות של מערכות-חומרה.

[מידע נוסף]

צבי כוכבי, פרופ'

דואר אלקטרוני:: kohavics.technion.ac.il
משרד:: 709
טלפון:: 4162

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

[מידע נוסף]

אברהם למפל, פרופ'

דואר אלקטרוני:: lempelcs.technion.ac.il
משרד:: 714
טלפון:: 4164

שימושים של מתמטיקה דיסקרטית למדעי המחשב ולתורת האינפורמציה.

[מידע נוסף]

עזריה פז, פרופ'

דואר אלקטרוני:: pazcs.technion.ac.il
משרד:: 732
טלפון:: 4165

תורת האלגוריתמים (אלגבריים, הסתברותיים), אנליזה שלהם וקירובים; מתמטיקה חישובית דיסקרטית; אלגוריתמים בשלמים; תורת האוטומטים; שפות פורמליות (דטרמנסטיות והסתברותיות); גרפואידים: איפיון אי-תלות במערכות ידע.

[מידע נוסף]

נסים פרנסיז, פרופ'

דף בית:: http://www.cs.technion.ac.il/~francez/
דואר אלקטרוני:: francezcs.technion.ac.il
משרד:: 735
טלפון:: 4369

וטיפוסים, $\lambda$ ראשי: בלשנות חישובית, דקדוקי קטגוריות, סמנטיקה פורמלית של שפות טבעיות, דקדוקי יוניפיקציה (האחדה) תחשיב - ותורת ההוכחה. משני: סמנטיקה של שפות תכנות, אימות תוכניות, תכנות מקבילי ומבוזר, תכנות לוגי פרולוג.

[מידע נוסף]

אליעזר קנטרוביץ, פרופ'/ח'