X En

סגל בית-הספר למדעי המחשב

המכללה האקדמית תל-אביב

בניין ווסטון

דיקנית: דלית נאור 2021-

על בית-הספר למדעי המחשב

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

מבחר פרסומים אחרונים

Adam Chapman
Linkage of sets of cyclic algebras
J. Pure Appl. Algebra
מרץ 2022
Davide Bilò, Katrin Casel, Keerti Choudhary, Sarel Cohen, Tobias Friedrich, J.A. Gregor Lagodzinski, Martin Schirneck and Simon Wietheger
Fixed-Parameter Sensitivity Oracles
Innovations in Theoretical Computer Science (ITCS)
2022
Michal Parnas, Dana Ron and Adi Shraibman
Property Testing of the Boolean and Binary Rank
Theory of Computing Systems (2021)
3 ביוני 2021
Carmi Merimovich
Mathias Like Criterion for the Extender Based Prikry Forcing
Annals of Pure and Applied Logic
18 במאי 2021
I. Gaber and A. Kirsh
Using Examples as Guideposts for Programming Exercises: Providing Support while Preserving the Challenge
IEEE The 16th International Conference on Computer Science and Education (ICCSE ’21)
2021
Ofer Arieli, AnneMarie Borg, Jesse Heyninck and Christian Straßer
Logic-Based Approaches to Formal Argumentation
Handbook of Formal Argumentation
2021
Ofer Arieli and Anna Zamansky (eds.)
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
(book)
2021
Bernhard Beckert, Mihai Herda, Michael Kirsten and Shmuel Tyszberowicz
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference
Deductive Software Verification: Future Perspectives
4 בדצמבר 2020
תמונה קבוצתית של חברי הסגל

ארועים