News
Paper Presentation
Marco Lewis presented his paper at QEST 2023 in Antwerp, Belgium. The paper is titled "Verification of Quantum Systems using Barrier Certificates" with Paolo Zuliani and Sadegh Soudjani as coauthors.
Paper Accepted
Mahmoud Salamati has had a paper accepted in the EMSOFT conference. The paper will also be published in a special issue at ACM transactions. The paper is on neural abstraction-based synthesis with correctness guarantees.
Paper Accepted
Marco Lewis had a paper accepted to the QEST 2023 conference in Belgium. The paper is titled Verification of Quantum Systems using Barrier Certificates. The paper is authored by Marco Lewis, Paolo Zuliani and Sadegh Soudjani.
Paper Presented
Ben Wooding presented a paper at the European Control Conference (ECC) in Romania. The paper is titled Robust Simulation Functions with Disturbance Refinement. The paper is authored by Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab and Sadegh Soudjani.
Grant Secured
Sadegh Soudjani and Thomas Gross have been successful in securing a £500k Innovate UK research grant for doing feasibility studies on quantum computing applications. The grant will enable to conduct research in quantum optimization of aircraft container loading. They will soon be looking for a Research Associate to join this project.