Applied
Formal Methods Research Group
School of Technology, Oxford Brookes University
Wheatley Campus, Oxford OX33 1HX, England
|
|
Welcome to the home page of the Applied Formal Methods
research group at the Department of Computing, Oxford Brookes University. The
group does research on formal methods in various application areas, which
include:
The group normally meets once every two weeks during term times for seminar presentations and focused discussions on specific research topics. If you are interested to given a presentation at the group meetings, please contact Prof. Hong Zhu. Take a look at the Schedule page in our web for the scheduled meetings, which contain the titles and speakers of the presentations or topics of the discussions, as well as information about past meetings.
What's NewThe following is a list of recent additions to our web.
Back to Top |
Copyright (c) AFM Research Group, Department of Computing, School of
Technology, Oxford Brookes University.
|
