Susan M. O'Kane

Susan M. O’Kane is a computational researcher known for her work in computer science, particularly in algorithms, formal methods, and computer security. She studies how to design and verify complex software and systems to ensure they operate correctly and securely. Her research often involves mathematical techniques to model and analyze system behaviors, helping improve the safety and reliability of technology we rely on daily. O’Kane is recognized for her contributions to advancing methods that make software more trustworthy, making her a respected figure in the field of computing.