* Virtual Library * Formal Methods * Who's Who

Who's Who on the Web in Formal Methods
Search

Please contact ! Jonathan Bowen if you know of relevant WWW home pages not included here.

This page provides a search facility for the WWW home pages of people and groups with an interest in formal methods if they have a personal URL.

Provide a Perl regular expression as a search pattern for the directory database.

Note that knowledge of the URL for home pages can be used to good effect. For example, to search for UK academics, use "ac.uk" (or safer and better "\.ac\.uk"). For researchers at South Bank University, use "sbu.ac.uk" or even just "sbu", for an example of a more refined search. Note that old URLs for home pages are maintained as (invisible) comments in each entry, so searching in this manner will reveal ex-members of an institution as well as current members. For example, try "comlab" for past and current members of the Oxford University Computing Laboratory. It is also possible to search for new entries.

Maintained by Jonathan Bowen as part of the SBU Museophile archive.

This page uses htgrep for searching the Formal Methods Who's Who list.