Nofar Carmeli

About


I am a researcher, employed by Inria, at the Boreal joint project-team (LIRMM, Inria, University of Montpellier, CNRS) in Montpellier, France.
My research focuses on the theory of database query optimization.

Contact.
nofar.carmeli at inria.fr
(!) I no longer have access to my old email address at cs.technion.ac.il.

Research


My research interests revolve around the theory of data management, often using fine-grained complexity and enumeration complexity. My main line of research aspires to determine, for any given query that the user wants to compute over a database, what is an algorithm that runs with optimal guarantees. So far, I focused mostly on identifying the query structures that can be answered with near-optimal time guarantees. For a full list of publications, see Google Scholar or dblp.

Recorded Talks


Date Length Topics Venue
Video 15/11/23 28:45 Direct access for conjunctive queries with aggregation Logic and Algebra for Query Evaluation workshop, Simons Institute, Berkeley
Part 1 Part 2 25/09/23 1:15:00 Enuemrating answers to join queries, CQs and UCQs Fine-Grained Complexity, Logic, and Query Evaluation workshop, Simons Institute, Berkeley
Video 29/03/22 47:00 Invited tutorial: answering UCQs with ideal time guarantees (enumeration and related problems) International Conference on Database Theory (ICDT)
Video 22/06/21 12:29 Direct access to CQ answers The Symposium on Principles of Database Systems (PODS)
Video 02/03/21 48:35 Enumerating tree decompositions, enumerating answers to CQs with FDs, enumerating answers to UCQs, and random-order enumeration. The seminar of the Formal Methods group at LaBRI, Bordeaux
Video Slides 02/01/20 16:02 Random-order enumeration and UCQs TAU Theory Fest - Fine Grained Complexity workshop, Tel Aviv
Video 01/07/19 19:29 Enumerating answers to UCQs The Symposium on Principles of Database Systems (PODS), Amsterdam
Video 16/05/17 20:00 Enumerating tree decompositions The Symposium on Principles of Database Systems (PODS), Chicago

Professional Background


Roles

PODS program committee (2027, 2024, 2023), EDBT/ICDT local organization (2027), STACS program committee (2025), PODS proceedings chair (2025), WEPA program committee (2024), SWERC judge (2023-2024, 2020-2021), ICDT test-of-time award committee (2024), BDA program committee (2023), ICDT program committee (2022), PODS publicity chair (2021), Dagstuhl seminar collector (2019).

Postdoc

ENS Paris, 2021-2022

Postdoctoral researcher at the Valda (Value from Data) joint project-team (DI ENS, ENS, CNRS, PSL University, Inria).

2021-2022 Schmidt postdoctoral award.

Ph.D.

Technion, 2015-2020

Thesis: The Power of Implicit Acyclicity in the Enumeration Complexity of Database Queries. Advised by Prof. Benny Kimelfeld at Technion Data & Knowledge Laboratory.

2019-2020 Google PhD Fellowship.

2019 Summer research internship working on the Extreme Reading project with Megagon Labs.

2019 Visiting researcher at the Factorised Databases group at University of Oxford.

2018-2019 Jacobs Excellence Scholarship.

2016 Summer engineering internship with the Cultural Institute front-end team at Google Paris.

2015 Summer engineering internship with the Live Results back-end team at Google Haifa.

Teaching

Faculty of Computer Science, Technion, 2013-2019

Combinatorics for CS: lecturer (summer18, summer17), TA in charge (winter16, winter15, spring15), TA (spring16, spring13).

Workshop in Competitive Programming: TA in charge (spring19, spring18), TA (spring17, spring16).

Logic for CS: TA (winter19).

Data Structures 1: TA (spring14).

B.Sc.

Technion, 2011-2015

B.Sc. in Computer Science. Graduated summa cum laude.

Member of Lapidim excellence program.

2014 Built an Android app for EyeControl to helps locked-in individuals communicate using eye movements with Hello World NPO & Prize4Life.

2013 Built a prototype of real-time hand detection applied to a Pong game on a Samsung Beam cellphone with GIP lab.

2013 Exchange student at University of Toronto.

Based on a website template by w3.css