The Taub Faculty of Computer Science Events and Talks

It's time to take your career a step further! A career marathon is underway, and you are invited to our first meeting - an exposure workshop for jobs in the industry - taking stock at Buzz Words -Monday, 13.1, at 17:30 in the Piano Auditorium Want to understand what's behind the coveted titles in the industry?In this workshop, we will take stock of the variety of job types, dive into innovative technologies and products,...
[ Full version ]

Computational analogs of information-theoretic notions have given rise to some of the most intriguing phenomena in theoretical computer science. For example, pseudorandomness allows us to bypass Shannon's lower bounds on the key length of encryption schemes. Moreover, computational analogs of entropy and randomness are key tools in the construction of pseudorandom generators and have become foundational concepts in complexity theory and cryptography.One such computational a...
[ Full version ]

Tuesday, January 14, 2025 at 11:30Meyer Building Room 1061 & Zoom This talk will explore advances in 3D scene reconstruction, focusing...
[ Full version ]

Deduplication is widely utilized in many modern large scale storage systems and provide an effective solution for both secondary and primary storage. Therefore, there is a rising need for deduplication storage to support advanced features such as data indexing for information retrieval. To our knowledge, no indexing solution for deduplicated storage utilizes the deduplication and current indexing methods process duplicates. In this work, we propose IDEA, Inverted Dedupl...
[ Full version ]

Final Company is coming to the faculty for a spotlight day and technology lectureNext Wednesday, January 15 starting at 12:30 at Taub Looking for your next step? Want to hear about algo-trading, options and probabilities?Final Company is coming with recruitment teams and engineers who will tell you everything – from career to technology. What awaits you?• 12:30 | Taub Lobby – Meeting with researchers...
[ Full version ]

Constraint satisfaction problems (CSPs in short) are among the most important computational problems studied in TCS. This talk will focus on a recent line of study addressing the complexity of approximating satisfiable instances of CSPs, and  connections of this study to multi-player parallel repetition theorems, property testing and extremal combinatorics. Based mostly on joint works with Amey Bhangale, Subhash Khot and Yang P. Liu....
[ Full version ]

When learning is used to inform decisions about humans, such as for loans, hiring, or admissions, this can incentivize users to strategically modify their features to obtain positive predictions. A key assumption is that modifications are costly, and are governed by a cost function that is exogenous and predetermined. We challenge this assumption, and assert that the deployment of a classifier is what creates costs. Our idea is simple: when users seek positive predictions,...
[ Full version ]

The AI ​​revolution is expanding from the cloud directly to our personal computers, and you are invited to join a 3-hour hands-on workshop where you can experience the latest advances and capabilities. During the workshop, you will delve into the new technologies of Intel’s AI-PCs, build chatbots, produce photos and videos, and discover how to create music on your laptop. The workshop is intended for anyone interested in expanding their knowledge in th...
[ Full version ]

In a recent work, Cormode, Dall'Agnol, Gur and Hickey (CCC, 2024) introduced the model of Zero-Knowledge Streaming Interactive Proofs (zkSIPs). Loosely speaking, such proof-systems enable a prover to convince a streaming verifier that the input x, to which it has read-once streaming access, satisfies some property, in such a way that nothing beyond the correctness of the claim is revealed. Cormode et al. also gave constructions of zkSIPs to some specifi...
[ Full version ]

Over the past decade, several studies have shown that DNA-based storage systems can potentially become the standard for data archival due to their high data density and durability. However, the current bottleneck involves the synthesis and sequencing costs, along with a lack of coding solutions to address the unique error characteristics of DNA-based systems. This work tackles multiple challenges that hinder the practical implementation of DNA storage. First, we explore...
[ Full version ]

We are happy to invite you to the Tech.AI Robotics Conference, happening on February 5, 2025. This exciting event will explore the critical crossroads of artificial intelligence and robotics: from smart home systems and autonomous vehicles to a...
[ Full version ]

You are invited to the evening of "Research on the Bar" - three faculty members giving TED talks at eye level. Don't miss the opportunity to get to know the researchers and new research groups, in an open atmosphere with beers and snacks. Wednesday, January 8, 2025 starting at 6:30 PM at Taub 2. Dr. Brit Youngmann - Put your trust in the data (and not in the person who processed it) Dr. Or Litany - ...
[ Full version ]

The Huge Object model is a distribution testing model in which we are given access to independent samples from an unknown distribution over the set of strings {0,1}^n, but are only allowed to query a few bits from the samples. We investigate the problem of testing whether a distribution is supported on m elements in this model. It turns out that the behavior of this property is surprisingly intricate, especially when also considering the question of adaptivity. We prove lower a...
[ Full version ]

Join us for our Internship Spotlight Day, where we’ll introduce the TII AI/IR Research Center recently established in Haifa, discuss our work in Generative AI and share details about our 2025 Internship Program. Date: Wednesday, January 8 Time: 12:30–14:15 Agenda: 12:30-13:00: Get-together 13:00-13:50 : Introduction &a...
[ Full version ]

Come be part of the Technion's Capture The Flag-CTF group! And this week: a guest lecture on the topic of artificial intelligence security! Building and Breaking AI Security, hosted by Amit Levy and Rom Himmelstein – AI security researchers at the Technion “The Model They Told You Not to Worry About” How weaknesses in language models can cause systems to crash and even expose personal information? Don't have previous experience with lan...
[ Full version ]

Developing better Language Models would benefit a myriad of communities. However, it is prohibitively costly. The talk would describe collaborative approaches to pretraining such as model merging, allowing combining several specialized models into one. Then introduce efficient evaluation to reduce overheads and touch on other accessible and collaborative aspects that best harness the expertise and diversity ...
[ Full version ]

Classical shape descriptors such as Heat Kernel Signature (HKS), Wave Kernel Signature (WKS), and Signature of Histograms of Orientations (SHOT), while widely used in shape analysis, exhibit sensitivity to mesh connectivity, sampling patterns, and topological noise. While differential geometry offers a promising alternative through its theory of differential invariants, which are theoretically guaranteed to be robust shape descriptors, the computation of these invariant...
[ Full version ]

Generative models, such as ChatGPT and DALL-E, are used by millions of people daily for tasks ranging from programming and content creation to resume filtering. These models often create the impression of being “intelligent,” which can incentivize careless use in critical applications. While generative models are empowering, they appear to be black boxes, and their misuse can result in harmful or unlawful outcomes. In this talk, I will present algorithms and...
[ Full version ]

Artificial intelligence (AI) offers immense potential to accelerate scientific discoveries crucial for combating climate change. However, this powerful tool comes with a significant environmental cost due to its substantial energy consumption and carbon emissions. This talk explores the research challenge of harnessing AI's capabilities while minimizing its ecological footprint. Bio: Dr. Tamar Eilam is an IBM Fellow and Chief Scientist for Sustaina...
[ Full version ]

We explore the framework of contract design through a computational perspective. Contract design is a fundamental pillar of microeconomics, addressing the essential question of how to incentivize people to work. The significance of contract design was acknowledged by the Nobel Prize awarded to Hart and Holmström, and it applies to various real-life scenarios, such as determining bonuses for employees, setting commission structures for sales representatives, and designing p...
[ Full version ]