Amin Rezaei and Yuanqi Shen, both electrical and computer engineering PhD candidates, placed second in the 2019 Cyber Security Awareness Week (CSAW) Logic Locking Conquest. The annual competition ...

Explore our campus, meet lecturers and current students, and learn more about what it's like to study at Manchester. The Department of Mathematics has an outstanding research reputation. The research ...

Founded Safelogic with the idea of using resource-bounded automatic theorem proving for analyzing and verifying integrated circuit designs. Associate professor at the Department of Philosophy, ...

What is it like to study mathematical logic in the MAST programme? Mathematical logic is one of the areas of pure mathematics in the MAST programme. Students who choose the mathematical logic study ...