🚀 go-pugleaf

In article <1992Mar29.180106.3876@gmuvax2.gmu.edu>, agoodloe@gmuvax2.gmu.edu (Alwyn Goodloe) writes:
>    You are certinally correct that there isn't much interest in formal
> methods in the US, especially in comparrison to europe of the UK.
> Let me see if I can give you a survey of what I know is being done
> in US universities, research labs, and industry.

Why don't we broaden this discussion into a survey of formal methods around the
world? I can report that I am researching an MSc thesis in a formal-methods
area, in South Africa, at the University of Cape Town. If by `Formal Methods'
you include semantics, then we have a group of two research leaders and 7 grad
students working in this area. We are the only such group in the country,
however.  
-- 
+----------------------------------------------------------------------------+
| Gavan Tredoux, Dept. Math. |  "Einstein and people like Einstein said that |
| University of Cape Town    |   the world was flat" T(uesday) Lobsang Rampa |
| Rondebosch 7700 RSA        |                                               |
+----------------------------------------------------------------------------+