Computer Science
My primary professional focus has been in Formal Verification, a branch of Computer Science that attempts to mathematically prove correctness of code (software or hardware alike). You can find some of the legacy I have left behind while pursuing my scientific path:
- Contact Info
- Email: sergey @ (the domain of this site, without the www)
- LinkedIn Profile
- Phone, resumé, and other goodies - ask over email
- Travel Schedule
- List of Publications
- Meetings, Schools, Conferences
- IJCAR'06 conference
- Summer School 2004 on Combination of Decision Procedures
- My thoughts on verification grand challenges (in preparation to the workshop at SRI)
- [Past] Research Interests
- My project links, and in particular, My Software Projects
- My PGP Public key