Alfons Laarman

News

Alexis de Colnet will join SVL

Alexis de Colnet

Alexis de Colnet will join SVL as postdoc from mid-October. We will work on knowledge compilation for quantum systems. Alexis is an expert in knowledge compilation, proof systems and model counting. Her previously worked in the groups of Pierre Marquis (CRIL, France), Stefan Szeider (TU Vienna, Austria) and Kuldeep Meel (GeorgiaTech, USA).

posted on

Open PhD position

PhD position on automated reasoning and quantum

The System Verification Lab has one open PhD position on exploring the intersection between symbolic reasoning and quantum computing. The research will apply constraint programming techniques to tackle 'quantum'-hard problems. We are interested in new approximation algorithms and improving our general understanding of the boundary between classical and quantum computation.

Email me if interested.

posted on

Awarded a Quantum Limits grant (NWO SUMMIT)

Expanding the Limits of Quantum Computing with Automated Reasoning (xqLIMITS)

The Dutch funding agency NWO has recently awarded a large 'SUMMIT' grant to the leading researchers in quantum computing in the Netherlands. These researchers redistributed some of the funding though the Quantum Limits call. I am honored that they selected my research proposal for inclusion in the SUMMIT project.

Quantum complexity theory faces key challenges, including simulating quantum systems, understanding entanglement, and solving many-body problems – many of which are too complex for unaided human reasoning. This project tackles these issues by combining human insight with automated reasoning (AR), a method that has already solved difficult problems in mathematics. Building on recent work that connects quantum problems to AR techniques, Sebastian Feld (QuTech) and myself will apply this approach and advance fundamental questions in quantum computing.

posted on

Open PhD and Postdoc positions

PhD and Postdoc positions on automated reasoning for quantum computing

The System Verification Lab has multiple open positions.

  • A four-year PhD position on formal methods for quantum computing
  • A four-year PostDoc position on automated reasoning for quantum computing (see the BoostQA project)

Email me if interested.

posted on

Awarded an NWO NGF grant on Quantum Technology

Boosting the Search for New Quantum Algorithms with AI

Together with Vedran Dunjko, I was awarded an NWO national growth fund grant on quantum technology for the BoostQA project. The abstract of the project is as follows.

Compared to classical algorithms, which have enjoyed decades of development, many quantum algorithms are still in their infancy. The key technologies contained in classical algorithms often offer exponential advantages. This project will add these key technologies to quantum algorithms so that they enjoy the same advantage on top of the quantum acceleration. The resulting new line of quantum algorithms is therefore more able to compete with their classical counterparts. This closes an important gap on the road to a ‘quantum advantage’, a first experiment showing that quantum algorithms can be faster than classical algorithms for a useful task.

posted on

Awarded NWO NWA grant Divide & Quantum

Divide & Quantum grant

As PI of this 2m euro project, I will lead a consortium to implement various case studies in quantum computing. My own team will contribute new divide & quantum algorithms and the simulation of quantum computing based on LIMDDs. Looking forward to work with the diverse Divide & Quantum consortium.

posted on

Awarded EU Horizon grant Efficient QUantum ALgorithms for IndusTrY (EQUALITY)

Efficient QUantum ALgorithms for IndusTrY (EQUALITY)

The 6m euro project will be executed by a large consortium led by Altran. I will lead a work package on optimization techniques for quantum circuits based on the LIMDD technology developed by my team. This will crucially enable other consortium partners to implement their quantum computing use cases.

posted on

Organizing the SPIN 2021 symposium

SPIN 2021 (co-located at ECOOP + ISSTA)

Together with Ana Sokolova, I organize the SPIN 2021 symposium. The workshop features invited speakers Vincenzo Ciancia (CNR-ISTI), Mariëlle Stoelinga (Twente / Radboud University) and Moshe Vardi (Rice).

posted on

Invited to the CERN workshop on scientific computing

CERN workshop on scientific computing

Roel Aaij (NikHef) invited me to explore ways to use my tree-based data compression methods on the massive data produced by CERN. I will present the data structure to a mostly physics audience in Sardinia, Italy.

posted on

Invited to the Lorentz workshop on formal methods

Research agenda formal methods in the Netherland
posted on

Invited to present at This-Week's-Discovery in Leiden

I will talk about my Veni project Paralellism in Depth.

posted on

Invited to talk at a workshop in honor of Marieke Huisman

I will talk about parallel depth-first search algorithms.

posted on
© Alfons Laarman 2022
Linkedin logo DBLP logo Google Scholar logo Orcid logo GitHub logo