Afshin Amighi

 

 

Contact:

University of Twente, Faculty EEMCS

P.O. Box 217

7500 AE Enschede

The Netherlands 

Phone:

+31 53 489 3640

e-mail:

amighia[ at ]utwente.nl

 

 

Current:

  On March 2011, as a PhD candidate, I started working on the VerCors Project supervised by dr. Marieke Huisman.

 

Publications:

  EPrints

  DBLP

  My Master Thesis

 

Teaching:

  Formal Methods for Software Engineering (since 2012).

 

Schools:

  LASER 2011, COST ACTION 2011,  OPLSS (Oregon Programming Languages Summer School) 2012,

  UPMARC Multicore Computing Summer School 2013,

 

Others:

 

  Specifications of synchronization primitives in Java  [here]