Prof Howard Barringer - postgraduate opportunities
Howard has supervised 22 research students to completion, 10 to MSc and 12 to PhD, all in the area of formal methods in computer science. He is currently supervising 3 PhD students. The majority of his students have continued in research and developed strong research-oriented careers in industry as well as academia. Several have become international research leaders in their own right.
He welcomes students with general interests in the theory, development and application of non-standard logics for specification and analysis of systems, be they computational or organisational. Excellent opportunities exist to support leading research in logical modelling of evolvable systems, logical methods for explanation and repair, efficient trace-checking and model-checking technology, and the logic of argumentation.