Oleg Sokolsky

Research Associate Professor
Computer and Information Science (CIS)

Email | Personal Webpage

Honors and Awards:  DARPA IPTO Special Commendation for outstanding achievement in the development of Bio-SPICE technology - 2005

Research Expertise: Embedded Systems | Formal Methods

Oleg focuses his research interests on the application of formal methods to design and verify distributed real-time systems. He works on modeling and analysis of computer-based systems, particularly medical devices, which require high levels of confidence in their operation. Oleg aims to develop mathematically grounded modeling languages, algorithms, and tools to verify system models in terms of their functional correctness and timeliness. He also develops methods for implementing systems according to their models.

Member of:

Education:
PhD Computer Science 1996 - State University of New York
MS Computer Science 1988 - St. Petersburg State Technical University in Russia
BS Computer Science 1988 - St. Petersburg State Technical University in Russia

Recent Publications RSS Feed


Return to Directory