Tel-Aviv Academic College

Computer Science

Weston building Weston building
Weston building

About the School of Computer Science

The School of Computer Science was established in 1994 with the inauguration of the Academic College of Tel־Aviv-Yaffo, which is located in, well, Tel־Aviv-Yaffo. The school is considered one of the largest in Israel, and offers both B.Sc. and M.Sc. degrees in Computer Science, while striving to maintain a high level in both the theoretical and practical studies. The majority of our students integrate successfully into the high-tech industry, and some proceed to higher academic studies in leading universities in Israel and worldwide. Our staff is dedicated to both teaching and research. Among the main research fields explored by our staff are Machine Learning, Artificial Intelligence, Algorithms and Theoretical Computer Science, Computer Science Education, Mathematics and in particular Group Theory, Logic and Combinatorics.

Selected Recent Publications

Adam Chapman
Linkage of sets of cyclic algebras
J. Pure Appl. Algebra
March 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)
Michal Parnas, Dana Ron and Adi Shraibman
Property Testing of the Boolean and Binary Rank
Theory of Computing Systems (2021)
June 3, 2021
Carmi Merimovich
Mathias Like Criterion for the Extender Based Prikry Forcing
Annals of Pure and Applied Logic
May 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)
Ofer Arieli, AnneMarie Borg, Jesse Heyninck and Christian Straßer
Logic-Based Approaches to Formal Argumentation
Handbook of Formal Argumentation
Ofer Arieli and Anna Zamansky (eds.)
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Bernhard Beckert, Mihai Herda, Michael Kirsten and Shmuel Tyszberowicz
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference
Deductive Software Verification: Future Perspectives
December 4, 2020
Staff group photo

Social gatherings