Research Visitors

Formal methods researchers who have visited the KindSoftware group in recent months:

• Dr. Dan Zimmerman (one month research visit)
• Fintan Fairmichael (one month research visit)
• Dr. Alex Summers

Please contact us if you are interested in Applied Formal Methods and would like to visit.