College of Computing
Georgia Institute of Technology
I work on modeling and analysis of fault propagation for critical systems, a project funded by Boeing. Our goal in this project is to develop algorithms and tools to test the fault propagation model for the next-generation Boeing 787 Dreamliner airplanes.
For more information, please see my homepage.