IMDEA initiative
Abstract: Approximate nearest neighbour (ANN) search is central to modern data-intensive applications, particularly on large-scale...
Abstract: We transport multi-stage programming from functional to relational programming, with novel constructs to give programmer...
Abstract: Smart contracts deployed on blockchain platforms are immutable and control billions of dollars in assets, making their c...
Abstract: An edge 2-coloring is a coloring of the edges of an undirected graph such that each vertex is incident to edges of at mo...
Abstract: AI-based components have become integral to Cyber-Physical Systems (CPS), enabling transformative functionalities across...
Abstract: Given k nondeterministic finite automata (NFA), finding an NFA that recognises the intersection of their languages is a ...
Abstract: We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of ...
Abstract: Private Set Intersection (PSI) enables two parties to compute the intersection of their datasets without revealing any e...
Abstract: Learning a graph from nodal features is a central problem in network science and statistics, with a history spanning mor...
Abstract: Passive testing is an approach to verify system behavior by observing logs from normal operation, without actively injec...
Abstract: In this talk I will look at the application of causality to debugging models and explainability. Specifically, I will ta...
Abstract: The remarkable advances in AI have given rise to a growing interest in AI-assisted decision support in domains ranging f...
Abstract: Privacy-Enhancing Technologies (PETs) are foundational for a future where data can be used without compromising privacy....
Abstract: Pattern matching is a fundamental feature of functional programming languages that is also being adopted by mainstream o...
Abstract: Concurrent and distributed systems are pervasive, yet verifying their correctness remains challenging. A core difficulty...
Abstract: Current frontiers in machine learning, data science, and, more broadly, artificial intelligence reveal the limits of pur...
Abstract: There is no one-size-fits-all solution to preserving privacy in artificial intelligence and data science. While insights...
Abstract: Deep learning has revolutionized computer vision, driving face biometric systems to unprecedented levels of accuracy, bu...
Abstract: Decision trees trained using greedy recursive partitioning have existed for decades in machine learning and statistics. ...
Abstract: AI systems like ChatGPT have advanced rapidly, yet their misuse has escalated in parallel. However, we still lack a syst...
