CS Dept. @ University of Haifa

The twitter account for the CS Dept. of the University of Haifa.

Website:

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

ברכות לאלעד הירשל מהחוג ולבוגר החוג אלירון רחימי על המאמר ב-EMNLP 2026!

[Decart @DecartAI]

What if an AI model could take back a harmful answer before it finishes it?

Diffusion language models can.

New Decart research accepted to #EMNLP2026 found harmful responses in just 9–21% of attacks, vs. 48–62% for comparable autoregressive models.

We turned that behavior into SRI Guard - detecting harmful generations with just 0.01–0.04% added latency.

Safety shouldn’t come at the cost of speed.

Read the paper: https://t.co/ntjULYDXkI

@INSIGHTLabBGU @TechnionLive @bengurionu @CS_Uni_of_Haifa

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

ברכות לפרופ' רונן שאלתיאל ועמיתיו על הזכייה במענק המחקר היוקרתי BSF-NSF על חילוץ רנדומיות בהקשרים של התמודדות עם יריבים!

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

Look everyone!

We're in an @AnthropicAI post!

https://t.co/wFRcUZNO2q

[Anthropic @AnthropicAI]

We also worked with academics at ETH Zurich, Tel Aviv University, and the University of Haifa to build CryptanalysisBench, a benchmark for studying LLMs’ cryptanalysis abilities.

https://t.co/OEYhGjH5Lj

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

@Uhaifa שמועות מספרות שאילו X היו מעסיקים בוגרי מדעי מחשב שלנו, זה לא היה קורה, אבל אנחנו לא ממש אחראים על השמועות (רק על הבוגרים הנהדרים).

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

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

היום בבוקר, בעודנו מעלים תמונות וברכות ל-154 בוגרי החוג הטריים, קרס הטוויטר.

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

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

ברכות לפרופ' אמריטוס מרטין גולומביק על הרצאת הפתיחה בכנס International Conference on Symbolic Computation and Machine Learning (SCML2026) שנערך שבוע שעבר באוסטריה.

כותרת ההרצאה: "36 Years of AI and Math".
לפרטים נוספים :https://t.co/dkQQotFiNu

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

מוזמנים ליום החשיפה של הפקולטה למדעי המחשב והמידע מחר - בבניין עמיר (הנמל 65 חיפה).

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

[אוניברסיטת חיפה @Uhaifa]

פרופ' עמוס קורמן ושותפיו זכו בפרס דייקסטרה על המאמר Distributed verification and hardness of distributed approximation, שקבע גבול תחתון מדויק לכמות הסבבים שנדרשים למערכת מבוזרת לאמת תכונות של תת-רשת בתוך עצמה.
מזל טוב, פרופ' קורמן!
המאמר 👈 https://t.co/MibN1uimDW

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

ברכות לגיל ממן, בוגר תוכנית אתגר על בחירתו כאחד מה-30 המבטיחים תחת גיל 30 של פורבס ישראל!

https://t.co/YhLSWagfJr

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

@Vola_Shibam Good luck Shibam!

Don't forget to visit us once in a while!

[RA.HaifaU @haifaresearch]

🎉 University of Haifa’s Prof. Amos Korman wins the 2026 Dijkstra Prize for breakthroughs in distributed computing 👏
Read more: https://t.co/ZRthKA0YLC

@Uhaifa
@WeizmannScience
@stem_univie

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

ברכות לפרופ' עמוס קורמן מהחוג על זכייתו בפרס דייקסטרה היוקרתי!

הפרס הוענק על המאמר "Distributed Verification and Hardness of Distributed Approximation" שפורסם ב-STOC 2011.

כל הכבוד פרופ' קורמן!
https://t.co/8G7421GWNz

[University of Haifa @UofHaifa]

חזרנו ללמוד בקמפוס(ים) 🤩

[אוניברסיטת חיפה @Uhaifa]

טקס יום הזיכרון לחללי מערכות ישראל ופעולות האיבה יתקיים ביום שני ה-20.4 במוזיאון הכט ויועבר כאן בשידור ישיר.
דברים:
פרופ' גור אלרואי, נשיא האוניברסיטה
מר אלעד עסיס, יו"ר אגודת הסטודנטים והסטודנטיות
דוברת מרכזית - גב' כרמית פלטי קציר, קיבוץ ניר עוז
מנחה: מר רז צברי-טופז

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

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

יהיה זכרו ברוך.

[Guy Avni @guyavni]

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

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

>

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

ברכות לפרופ' (אמריטוס) מרטין גולומביק על בחירתו ל-fellow של הארגון האקדמי הבינלאומי למדעי ה-AI!

https://t.co/sXFqpwdGea

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

ברכות לד"ר לואי מועלם על שלוש (!) זכיה בשלוש מלגות תחרותיות ויוקרתיות ללימודי הפוסט-דוקטורט - בהצלחה בהמשך הדרך!

[Guy Avni @guyavni]

פעמיים זו כבר מסורת: הרצאת אורח (הפעם של גיא וולפוביץ) בקורס שלי (אימות פורמלי) על איך התחום נראה בתעשייה. הקורס בגדול תאורטי (רובו על אוטומטים מעל מילים אינסופיות ולוגיקה) וזו תוספת נחמדה בעיני לראות שכל התאוריה הזו רלוונטית מאד בתעשייה.

[CS Dept. @ University of Haifa @CS_Uni_of_Haifa]

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

פרטים נוספים:
https://t.co/ab9uEnaSNg