Research and Development

Who is developing Grail+?
New developments
Student projects
Others using Grail+

Who is developing Grail+?

The Grail+ project is being conducted in the Department of Computer Science at the University of Western Ontario in London, Ontario, Canada.

The Grail+ project is currently coordinated by Dr. Sheng Yu (, professor of Computer Science at the University of Western Ontario. Grail+'s principal researchers are Maia Hoeberechts ( and Sandy Huerter (

Grail+ is a direct extension of Grail. The name Grail+ was adopted to distinguish the current project from the original work which was done on the Grail project. Version 3.0 will be the first release of Grail+.

The original work on the Grail project was done by Darrell Raymond and Derick Wood.

Other people associated with the Grail/Grail+ project, past and present, include:

What new developments are in progress?

We are currently working toward a new release of Grail+. The new version will support alternating finite automata (afa), have improved efficiency, and more documentation. In addition, some bugs from version 2.5 have been fixed. The new version will be released in the next few months; please check back soon.

If you have any comments or suggestions on Grail+, don't hesitate to contact us.

Student projects

Here are a number of projects that we'd like to see done in the next couple of years:

What are other people doing with Grail+?

If you're using Grail+ in one of your projects and want to publicize it here, just let us know!

Top of page
Grail+ home page