Architect at Calypto Design Systems
San Francisco Bay Area
- Current
-
- Architect at Calypto Design Systems
- Filmmaker at Studio Berezin Film (Sole Proprietorship)
- Co-founder at Radical Change Group, International
- Past
-
- R&D Engineer at Synopsys, Inc
- Research Associate at Stanford University
- Summer Intern at SRI International
- Education
-
- Carnegie Mellon University
- Connections
-
40
connections
- Industry
- Computer Software
- Websites
Sergey Berezin’s Summary
Computer Science: 15+ years of research & development in Formal Verification. Developing new approaches and methodologies, and implementing those as prototypes and tools.
Filmmaking: my current passion.
Multimedia: audio and video production; over 2 years of broadcast-quality podcast recording and production; web design and website support and development.
Sergey Berezin’s Specialties:
TECH: Formal Verification, Software Engineering, C++, various scripting languages.
ART: directing, filming & editing video, sound engineering for film and podcasts. Some web design and computer graphics.
Sergey Berezin’s Experience
-
Architect
Calypto Design Systems
(Privately Held; Computer Software industry)
October 2009 — Present (3 months)
Improve the architecture of the main Calypto tools. (to be continued...)
-
Filmmaker
Studio Berezin Film (Sole Proprietorship)
(Sole Proprietorship; Motion Pictures and Film industry)
October 2008 — Present (1 year 3 months)
More of a passion than a business, I make movies for fun and personal fulfillment.
-
Co-founder
Radical Change Group, International
(Publishing industry)
August 2006 — Present (3 years 5 months)
Promote evolution of personal growth, openly share multiple streams of knowledge, and infuse the world with systemic, aesthetic, and ecological thinking through multimedia (currently - weekly podcasts and blog)
-
R&D Engineer
Synopsys, Inc
(Public Company; 1001-5000 employees; SNPS; Computer Software industry)
June 2005 — July 2008 (3 years 2 months)
Doing research and developing prototypes (and proto-toys) for industrial CAD formal verification tools
-
Research Associate
Stanford University
(Educational Institution; 10,001 or more employees; Research industry)
October 2002 — June 2005 (2 years 9 months)
Primarily was developing an efficient automated theorem prover called CVC Lite, based on Nelson-Oppen combination of decision procedures; see http://verify.stanford.edu/CVCL
-
Summer Intern
SRI International
(Computer Software industry)
1997 — 1997 (less than a year)
Sergey Berezin’s Education
-
Carnegie Mellon University
Ph.D. , Computer Science , 2002
Additional Information
Sergey Berezin’s Websites:
Sergey Berezin’s Interests:
filmmaking, video editing, sound editing, podcasting, web design, programming, computer science
Sergey Berezin’s Contact Settings
Interested In:
- consulting offers
- new ventures
- job inquiries
- expertise requests
- business deals
- reference requests
- getting back in touch
