About & contact
I am a Reader in Computer Science at Queen Mary University of London, working across mathematical logic, combinatorics, information theory, and learning.
Academic biography
Søren Riis is a Reader in Computer Science in the School of Electronic Engineering and Computer Science at Queen Mary University of London. His research includes counting principles and proof complexity, graph guessing games and network coding, Condorcet domains, and learning in impartial games.
He is associated with the Centre for Fundamentals of AI and Computational Theory and the Theory Group.
Contact
School of Electronic Engineering and Computer Science
Queen Mary University of London
Mile End Road
London E1 4NS
United Kingdom
Curriculum vitae
AI Research & Industry CV
AI evaluation, reinforcement learning, consulting and selected projects.
Teaching
My teaching at Queen Mary includes logic, discrete structures, complexity, and computation.
- ECS407U: Introduction to Logic and Discrete Structures
- ECS651U: Computability, Complexity and Algorithms
Box proofs: Fitch-style natural deduction
I developed this interactive teaching app to help students learn Fitch-style natural deduction in propositional logic. Build and check box proofs with practice exercises, hints, and step-by-step guidance.
Logic Lab: 2SAT and resolution
I developed this interactive teaching app for ECS651U: Computability, Complexity and Algorithms. Explore the 2SAT algorithm through implication graphs, and build and check resolution proofs.
Students should use the current Queen Mary module pages and course materials for assessment details and timetables. For academic enquiries, contact me by email.
The interactive research tools offer additional ways to explore mathematical ideas.