Logic and Computation Group

Members

Links to publication lists appear next to members' names, where possible. Hover over members' names to reveal their pictures.

Academic Members

• Prof. Michael Fisher
  • Publications: [DBLP]
• Prof. Frank Wolter
  • Publications: [DBLP]
• Dr. Clare Dixon
  • Publications: [DBLP]
• Dr. Ullrich Hustadt
  • Publications: [DBLP]
• Dr. Boris Konev
  • Publications: [DBLP]
• Dr. Alexei Lisitsa
  • Publications: [DBLP]
• Dr. Grant Malcolm
  • Publications: [DBLP]
• Dr. Vladimir Sazonov
  • Publications: [DBLP]
• Dr. Sven Schewe
  • Publications: [DBLP]

Postdoctoral Researchers

• Dr. Louise Dennis
  • Publications: [DBLP]
• Dr. John Fearnley
  • Publications: [DBLP]
• Dr. Michel Ludwig
  • Publications: [DBLP]
• Dr. Matt Webster
  • Publications: [Homepage]

Ph.D. Students

• Mr. Abdulbasit Ahmed
• Mr. David Berry
• Mr. William Gatens
• Mr. Amir Niknafs-Kermani
• Mr. Robert Piro
• Mr. Richard Stocker
• Mr. Thomas Methrayil Varghese
• Mr. Cheng Xiu Zeng

Former Members

Over the years many outstanding researchers have been members of the group. Former members include: