Oleg Sokolsky

Oleg Sokolsky is a distinguished Research Professor in the Department of Computer and Information Science at the University of Pennsylvania. His academic journey has been marked by a profound commitment to advancing the safety and reliability of real-time and cyber-physical systems (CPS). With a keen focus on formal methods and online monitoring, Sokolsky's research endeavors aim to bridge the gap between formal and informal methodologies, ensuring robust safety guarantees across these domains. Sokolsky's research interests are diverse and impactful, encompassing autonomous systems, medical devices and systems, and attack-resilient control systems. He is actively engaged in several pioneering projects, including dynamic assurance for autonomous systems that incorporate learning-based components. His work also extends to the modeling and analysis of medical devices, where he seeks to enhance their safety and functionality through innovative approaches. Throughout his career, Sokolsky has contributed significantly to the field of cyber-physical systems. His projects have explored resource interfaces for real-time systems, architectural modeling of embedded systems, and quantitative trust management. Additionally, he has delved into the complexities of hierarchical hybrid systems, further solidifying his reputation as a thought leader in the field. Sokolsky is a valued member of the PRECISE Center and the Real-Time Systems group at the University of Pennsylvania. His expertise is recognized beyond academia, as evidenced by his role on the editorial board of several prestigious journals. Previously, he served as the editor of the ACM SIGBED Review newsletter, where he contributed to the dissemination of cutting-edge research in embedded systems. His academic credentials are equally impressive, with a Ph.D. in Computer Science from SUNY Stony Brook and a B.Sc./M.Sc. in Computer Science from St. Petersburg State Technical University. Sokolsky's educational background has provided a solid foundation for his groundbreaking work in the field, and his contributions continue to shape the future of cyber-physical systems and their applications.