Raja was invited to be on the discussion panel on Quantum Algorithms at this year’s Bristol Quantum Information Technologies Workshop.
Andrei Popescu gave a talk at ESOP 2015 on “Witnessing (Co)Datatypes” (in Isabelle/HOL). Anyone who missed the talk can still witness the (co)datatypes by having a look at the slides or at the paper.
On April 10th, Florian gave an invited talk at the “Workshop of Automated Reasoning — Bridging the Gap between Theory and Practice”. His talk was titled “Verifying Quantum Protocols using Interactive Theorem Proving”.
Barnaby Martin will travel to Japan this summer to present “Constraint Satisfaction Problems Over The Integers with Successor” (with Manuel Bodirsky and Antoine Mottet) at ICALP and “From complexity to algebra and back: digraph classes, collapsibility and the PGP” (with … Continue reading
Raja gave a talk at the Oxford Algorithms Seminar on the 4th of March. His talk was on “Automated Analysis of Quantum Protocols”.
Panos spoke at the Oxford Algorithms Seminar on the 4th of February. His talk was on “The complexity of connecting and separating points in the plane”.
Our Hungarian research fellow, Dr. András Pongrácz, has been awarded a Grünwald Géza medal. This is awarded to four or five Hungarian mathematicians each year, under the age of 30, based on their research achievements. For a country with such a … Continue reading
As of September 23rd, the Foundations group welcomes Dr. Andrei Popescu as Senior Lecturer! Andrei has come from the Isabelle group at TU München. He is interested in formal verification, inductive and coinductive datatypes, and information-flow security.
The Foundations group welcomes as lecturer Dr. Panos Giannopolous! Panos comes from FU Berlin and is interested in the Computational Complexity of geometric problems.
Members of the Foundations group were active in the Summer of Logic with papers including: LICS+CSL 2014: Taolue Chen and Stefan Kiefer, “On the Total Variation Distance of Labelled Markov Chains”. LICS+CSL 2014: James Brotherston, Carsten Fuhs, Nikos Gorogiannis and Juan … Continue reading