Skip to main content
Lab directory

Prof. Renate Schmidt — Research Profile

The University of Manchester · Department of Computer Science

Official page

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026

Graduate application deadlines

Department of Computer Science

  • MSc Advanced Computer Science

    2027-28 (September 2027)

    • Stage 1

      Nov 6, 2026

      Closed

    • Stage 2

      Jan 1, 2027

    • Stage 3

      Feb 26, 2027

    • Stage 4

      May 21, 2027

    Source: manchester.ac.ukChecked Nov 2, 2026

  • PhD Computer Science

    2027-28

    Rolling admissions — applications are reviewed as they arrive, so earlier is better.“We do not have application deadlines although please bear in mind that other procedures, such as ATAS and visa applications can take some time so we advise applying as early as you can.”

    Source: cs.manchester.ac.ukHow to applyChecked Nov 2, 2026

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

Prof. Renate Schmidt at The University of Manchester Department of Computer Science lists Computational Logic, Automated Reasoning, Knowledge-Based AI, Knowledge Representation, Deduction, Forgetting, Decidability Problems as their registered research area.

Research keywords

Computational LogicAutomated ReasoningKnowledge-Based AIKnowledge RepresentationDeductionForgettingDecidability Problems

Other labs in this department

See all labs in this department