I am the Dean of the School of Engineering and a Professor of Computer Science. I joined LSBU in 2024 having previously worked at the University of Sussex as the head of the Department of Informatics and deputy head of the School of Engineering and Informatics. I have a PhD in Computing from Imperial College and an Habilitation from the University of Paris 7.
Research interests
I am passionate about the theoretical foundations of computer science which underlie the discipline. My research topics include the lambda calculus, linear logic, interaction nets, and reversible and quantum computation. These topics come together in programming language and compiler technology, where I am currently working with PhD students on designing and building parallel implementations of programming languages. With over 30 years of experience teaching in higher education, I developed a deep interest in creating educational resources. This led me to initiate the `Undergraduate Topics in Computer Science' textbook series, published by Springer, where I am series editor.
Fingerprint
Dive into the research topics where Ian Mackie is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Fernandez, M. & Mackie, I., 9 Sept 2024, PPDP '24: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. Bruni, A. & Momigliano, A. (eds.). Association for Computing Machinery, p. 1-1414 p. 8. (ACM International Conference Proceeding Series).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review