[{"title":"Open PhD and Postdoc positions","date":"01-04-2024","imageLink":"phd.jpg","imageAlt":"PhD and Postdoc positions on automated reasoning for quantum computing","content":"

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.

\n"},{"title":"Awarded an NWO NGF grant on Quantum Technology","date":"10-1-2024","link":"https://www.universiteitleiden.nl/en/news/2024/01/leiden-quantum-technology-research-very-successful-in-funding-call","imageLink":"nwo-logo.jpeg","imageAlt":"Boosting the Search for New Quantum Algorithms with AI","content":"

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.

\n"},{"title":"Postdoc Tim Coopmans was Awarded an NWO NGF grant on Quantum Technology","date":"1-1-2023","link":"https://www.universiteitleiden.nl/en/news/2022/12/scientists-of-leiden-university-receive-awards-in-ngf-quantum-technology-programme","imageLink":"nwo-logo.jpeg","imageAlt":"Using regular computers for predicting and reducing the influence of noise in quantum computers","content":"

Postdoc Tim Coopmans was awarded a 400k euro grant for the development of noise mitigation techniques for early quantum computers.\nHe will work on state-of-the-art methods for noise mitigation based on the LIMDD data structure. The project is called "Using regular computers for predicting and reducing the influence of noise in quantum computers."

\n"},{"title":"Organizing Parallel and Distributed Automated Reasoning 2022","date":"1-6-2022","link":"https://pdar-workshop.github.io/workshop/","imageLink":"floc.png","imageAlt":"PDAR 2022 (co-located at FLoC)","content":"

The PDAR 2022 workshop is co-located at the Federated Logic Conference (a once in four year event) and features an exciting line up of speakers on parallel reasoning, as well as discussion sessions on this promising field.

\n"},{"title":"Awarded NWO NWA grant Divide & Quantum","date":"1-5-2022","link":"https://www.nwo.nl/onderzoeksprogrammas/nationale-wetenschapsagenda-nwa/onderzoek-op-routes-door-consortia-orc-2#expander-bandbreedte-05---2-miljoen-euro","imageLink":"nwa_logo_en.svg","imageAlt":"Divide & Quantum grant","content":"

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.\nLooking forward to work with the diverse Divide & Quantum consortium.

\n"},{"title":"Three open PhD positions","date":"24-04-2022","imageLink":"phd.jpg","imageAlt":"PhD positions on parallel computing, quantum computing and verification","content":"

The System Verification Lab has three open PhD positions:

A six-year PhD position on software engineering with teaching duties concerning LUdev
A four-year PhD position on parallel computing
A four-year PhD position on quantum computing

Email me if interested.

\n"},{"title":"Invited to the model checking 2022 to give a talk on decision diagrams","date":"1-2-2022","link":"https://gears.win.tue.nl/events/dmcd21","imageLink":"mcd-s.gif","imageAlt":"Model Checking Day 2022","content":""},{"title":"Awarded EU Horizon grant Efficient QUantum ALgorithms for IndusTrY (EQUALITY)","date":"1-1-2022","link":"https://ec.europa.eu/info/funding-tenders/opportunities/portal/screen/opportunities/topic-details/horizon-cl4-2021-digital-emerging-02-10","imageLink":"horizon-europe.png","imageAlt":"Efficient QUantum ALgorithms for IndusTrY (EQUALITY)","content":"

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

\n"},{"title":"Lecturer at the Quantum Information Science & Technology (QIST) master","date":"15-5-2021","link":"https://www.delta.tudelft.nl/article/quantum-engineering-course-making","imageLink":"qist.jpg","imageAlt":"Quantum Information Science & Technology (QIST) master","content":"

Mirjam Blaauwboer asked me to join the development of the QIST master program,\nwhich will be jointly taught by TU Delft and Leiden University.\nI will design a course for the first year of the master.

\n"},{"title":"Invited to PDAR 2021 to give a talk on parallel probabilistic inference","date":"1-5-2021","link":"https://easychair.org/smart-program/CADE-28/PDAR-index.html","imageLink":"cade.jpeg","imageAlt":"Parallel and Distributed Automated Reasoning 2021","content":"

The event was originally planned to take place at CMU, Pittsburgh, but will take place online.

\n"},{"title":"Organizing the SPIN 2021 symposium","date":"1-2-2021","link":"https://conf.researchr.org/home/spin-2021","imageLink":"spin.jpg","imageAlt":"SPIN 2021 (co-located at ECOOP + ISSTA)","content":"

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

\n"},{"title":"PhD student Lieuwe Vinkhuijzen won the SETTA 2020 best presentation award","date":"25-11-2020","link":"https://lcs.ios.ac.cn/setta2020/accepted.html","imageLink":"setta.jpg","imageAlt":"Best presentation award Lieuwe Vinkhuijzen","content":""},{"title":"Awarded EU H2020 grant NExt ApplicationS of Quantum Computing (NEASQC)","date":"1-6-2020","link":"https://www.neasqc.eu/","imageLink":"logo-neasqc.svg","imageAlt":"NExt ApplicationS of Quantum Computing (NEASQC)","content":"

The 5m euro project will be executed by a large consortium led by Atos. My team will collaborate with EDF, the French energy company, to realize a case study in quantum probabilistic risk analysis.

\n"},{"title":"Invited to the Lorentz workshop on tool competitions","date":"1-2-2019","link":"https://www.lorentzcenter.nl/advancing-verification-competitions-as-a-scientific-method.html","imageLink":"lorentz-center.png","imageAlt":"Advancing Verification Competitions as a Scientific Method","content":""},{"title":"Invited to talk at the IPA research school","date":"1-5-2018","link":"https://ipa.win.tue.nl/?event=fall-days-on-models-in-software-engineering","imageLink":"ipa.jpeg","imageAlt":"Institute for Programming research and Algorithmics (IPA) fall days 2018","content":""},{"title":"Invited to talk at the NIRICT GPU workshop","date":"1-5-2018","link":"https://fmt.ewi.utwente.nl/NIRICT_GPGPU/events.html","imageLink":"gpu.jpg","imageAlt":"NIRICT GPU workshop 2018","content":"

I will speak about optimal compression methods for handling combinatorial state spaces.

\n"},{"title":"Invited to the CERN workshop on scientific computing","date":"1-1-2018","imageLink":"CERN_logo.svg.png","imageAlt":"CERN workshop on scientific computing","content":"

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.

\n"},{"title":"Invited to the Lorentz workshop on formal methods","date":"1-12-2017","imageLink":"lorentz-center.png","imageAlt":"Research agenda formal methods in the Netherland","content":""},{"title":"Invited to present at This-Week's-Discovery in Leiden","date":"1-6-2017","content":"

I will talk about my Veni project Paralellism in Depth.

\n"},{"title":"Organizing the famous 'fall days' of the IPA research school","date":"1-5-2017","link":"https://ipa.win.tue.nl/?event=system-and-software-analysis","imageLink":"ipa.jpeg","imageAlt":"Institute for Programming research and Algorithmics (IPA) fall days 2017","content":""},{"title":"Invited to PCR’17 to give a talk on parallel model checking","date":"1-5-2017","link":"https://pcr17.inf.usi.ch/slides/Laarman_PCR17.pdf","imageLink":"pcr17.webp","imageAlt":"PCR'17 banner","content":"

In Gothenburg, Sweden, I will talk about concurrent data structures for program verification.

\n"},{"title":"Invited to give a talk at the Alpine Verification Meeting 2017 in Hungary","date":"1-2-2017","link":"http://avm2017.inf.mit.bme.hu/invited-speakers/","imageLink":"avm.jpeg","imageAlt":"Alpine Verification Meeting '17","content":"

In Visegrád, Hungary, I will talk about the LTSmin model checker.

\n"},{"title":"Invited to the model checking 2016 to give a talk on parallel model checking","date":"1-2-2016","link":"https://fmt.ewi.utwente.nl/workshops/dmcd2016/","imageLink":"mcd-s.gif","imageAlt":"Model Checking Day 2016","content":""},{"title":"Invited to talk at a workshop in honor of Marieke Huisman","date":"1-2-2016","imageAlt":"Marieke Huisman Seminar 2017","content":"

I will talk about parallel depth-first search algorithms.

\n"}]