Oleg Sokolsky is affiliated with the University of Pennsylvania in the United States and has a research focus spanning computer science and engineering disciplines. Their work contributes substantially to subfields such as artificial intelligence, software, control and systems engineering, signal processing, and computational theory and mathematics.
The main topics addressed by Sokolsky include adversarial robustness in machine learning, anomaly detection techniques and applications, fault detection and control systems, software reliability and analysis research, formal methods in verification, advanced malware detection techniques, and software testing and debugging techniques.
Prominent coauthors who have frequently collaborated with Sokolsky are:
Oleg Sokolsky has frequently published in venues such as:
Recent papers authored or coauthored by Sokolsky include:
Sokolsky has also authored books published by Springer Science+Business Media, including Automated Technology for Verification and Analysis (2020) and NASA Formal Methods (2022).
Insup Lee;O. Sokolsky;Sanjian Chen;J. Hatcliff
Moonzoo Kim;Mahesh Viswanathan;Sampath Kannan;Insup Lee
Miroslav Pajic;James Weimer;Nicola Bezzo;Paulo Tabuada
Moonjoo Kim;Sampath Kannan;Insup Lee;Oleg Sokolsky
Insup Lee;Sampath Kannan;Moonjoo Kim;Oleg Sokolsky
R. Alur;Thao Dang;J. Esposito;Yerang Hur
Insup Lee;Oleg Sokolsky
Hyoung Seok Hong;Insup Lee;Oleg Sokolsky;Hasan Ural
Moonjoo Kim;M. Viswanathan;H. Ben-Abdallah;S. Kannan
David Arney;Miroslav Pajic;Julian M. Goldman;Insup Lee
Hyoung Seok Hong;Sung Deok Cha;Insup Lee;Oleg Sokolsky
Miroslav Pajic;James Weimer;Nicola Bezzo;Oleg Sokolsky
Rajeev Alur;Thao Dang;Joel M. Esposito;Rafael B. Fierro
Miroslav Pajic;Rahul Mangharam;Oleg Sokolsky;David Arney
Sisu Xi;Meng Xu;Chenyang Lu;Linh T. X. Phan
K. Bhargavan;C.A. Gunter;Moonjoo Kim;Insup Lee
Anna Philippou;Insup Lee;Oleg Sokolsky
Oleg Sokolsky;Scott A. Smolka
Oleg Sokolsky;Insup Lee;Duncan Clarke
L. Tan;O. Sokolsky;I. Lee
If you think any of the details on this page are incorrect, let us know.
Exploring Computer Science in the USA opens up numerous career possibilities, but it’s worth considering how online degrees can expand your options. Many students are now pursuing affordable master's degrees online to develop advanced technical skills while keeping costs manageable. This flexibility is particularly valuable if you’re looking to specialize or change fields.
Beyond core Computer Science, other disciplines offer exciting intersections. For example, a online executive mba cost is an important consideration for tech professionals aiming for leadership roles. Understanding business fundamentals can fast-track your move into management positions.
Tech-savvy graduates might also find opportunities with a master in library science, blending digital technologies with information management. Likewise, those with a passion for leading change can discover career advancement with affordable doctoral programs in leadership.
Exploring these related online degree programs can open new doors, broaden your expertise, and create flexible, cost-effective pathways to long-term career growth.
Sun Yat-sen University
Chinese Academy of Sciences
Northrop Grumman (United States)
University of Tübingen
New York University
Colorado State University
University of Western Australia
University of Southampton
National Cancer Institute
University of Cagliari
Nanyang Technological University
University of South Florida
Centre national de la recherche scientifique, CNRS
Tehran University of Medical Sciences
Stockholm University
University of British Columbia
