Skip to navigation | Skip to main content | Skip to footer

We welcome your feedback

Please help us improve The University of Manchester website by completing a short questionnaire at the end of your visit.

Yes, I'll give feedback No, thanks

Read our privacy notice

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.