Skip to navigation | Skip to main content | Skip to footer
Menu Search the University of Manchester siteSearch
Search type

Alternatively, use our A–Z index

Prof Howard Barringer - postgraduate opportunities

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.