People > Farokh B. Bastani |
|||
|
|||
Research Profile:
Dr. Bastani's research interests are in the areas of Software Engineering, Software Reliability ,
Formal Methods, Program Transformation, Self-Stabilization and Inherent Fault Tolerance.
|