Skip to main content

About Oleg Sokolsky

My main research interest is the application of formal methods to design and verification of cyber-physical systems. Other interests, all related to the main one, include on-line monitoring of embedded systems and formal foundations for it, hybrid systems, automated extraction of specifications from source code, and formal methods in software engineering in general and in embedded software in particular.

Positions

Present PRECISE Center, University of Pennsylvania
to
Present Department of Computer and Information Science, University of Pennsylvania
to
Present Research Associate Professor, University of Pennsylvania
to

Curriculum Vitae



$
to
Enter a valid date range.

to
Enter a valid date range.

Contact Information

office: 608 Levine Hall
phone: 215-898-4448 (e-mail is a better way to reach me)
e-mail: sokolsky@cis.upenn.edu


Medical Device Software and Systems (28)