Biography
Personal Website: http://www.scm.keele.ac.uk/staff/f_polack/
Research and scholarship
My recent research is in the development and assurance of simulations of complex (biological) systems, for use alongside laboratory research (YCIL).
- model driven engineering support for simulation
- patterns for simulation development
- arguing fitness for purpose
My earlier research covered formal modelling (e.g. in Z and B):
- capturing the intent of diagrammatic models in formal models
- formal specification of information systems
- patterns and generics in Z
I have supervised successful PhD in many areas, including formal methods, security analysis, artificial immune systems, model driven engineering, CA emergence and course graining, search-based software engineering, hyperheuristic approaches to route planning.
Teaching
I teach:
- CSM-30016: Software engineering and project management
- CSM-20022: Software lifecycles and development
Publications
School address
School of Computer Science and Mathematics
Keele University
Staffordshire
ST5 5AA
Email: scm.admin@keele.ac.uk
Tel:+44 (0) 1782 731830
Programme directors
Maths (UG)
Dr Danila Prikazchikov
+44 (0)1782 733414
d.prikazchikov@keele.ac.uk
Data Science (UG)
Dr Peter Wootton
+44 (0)1782 733438
p.t.wootton@keele.ac.uk
Data Scientist Apprenticeship
Dr Shailesh Naire
+44 (0)1782 733268
s.naire@keele.ac.uk
Computer Science (UG)
Dr Amro Al-Said Ahmad
a.m.al-said.ahmad@keele.ac.uk
PG Computer Science (Online)
Dr Amirreza Khodadadian
scm.online-
Computer Science (PG)
Professor Ed de Quincey
+44 (0)1782 734090
e.de.quincey@keele.ac.uk