Rajagopal Nagarajan invited panelist at BQIT’15

Raja was invited to be on the discussion panel on Quantum Algorithms at this year’s Bristol Quantum Information Technologies Workshop.

Posted in Uncategorized | Leave a comment

ESOP 2015 in London

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.

Posted in Uncategorized | Leave a comment

Florian Kamueller invited talk in Birmingham

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”.

Posted in Uncategorized | Leave a comment

ICALP-LICS 2015 in Kyoto

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 Catarina Carvalho and Florent Madelaine) at LICS.

Posted in Uncategorized | Leave a comment

Rajagopal Nagarajan seminar at Oxford

Raja gave a talk at the Oxford Algorithms Seminar on the 4th of March. His talk was on “Automated Analysis of Quantum Protocols”.

Posted in Uncategorized | Leave a comment

Panos Giannopoulos seminar at Oxford

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”.

Posted in Uncategorized | Leave a comment

Grünwald Géza medal

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 strong mathematical pedigree, this can be considered a highly respectable accolade.

Posted in Uncategorized | Leave a comment

Andrei Popescu

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.

Posted in Uncategorized | Leave a comment

Panos Giannopoulos

The Foundations group welcomes as lecturer Dr. Panos Giannopolous! Panos comes from FU Berlin and is interested in the Computational Complexity of geometric problems.

Posted in Uncategorized | Leave a comment

Easter Papers

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 Navarro Perez, “A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates”.

ICALP A 2014: Petar Dapic, Petar Markovic and Barnaby Martin, “QCSP on Semicomplete Digraphs”.

Posted in Uncategorized | Leave a comment