Skip to main content
Lab directory

Prof. Lucas Cordeiro — Research Profile

The University of Manchester · Department of Computer Science

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. Lucas Cordeiro at The University of Manchester Department of Computer Science lists Software Engineering, Formal Methods, Automated Program Verification and Synthesis, Software Security, Embedded & Cyber-Physical Systems as their registered research area.

Research keywords

Software EngineeringFormal MethodsAutomated Program Verification and SynthesisSoftware SecurityEmbedded & Cyber-Physical Systems

Other labs in this department

See all labs in this department