Ilya Beylin
Senior Developer at Prover
Based in Stockholm, Sweden
7-day free trial · no credit card
Seniority
Staff
Department
Information Technology
Location
Stockholm
Industry
Software Development
Company size
71
Contact information
Reveal Ilya's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
i•••••••@prover.com
Phone
5 credits+46 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Ilya Beylin
R&D in formal methods; verification of safety conditions in software and hardware systems. Development of verification tools for EDA, rail, avionics. Verification projects for rail industry (interlocking design). Syntactical analysis of loosely defined graphical languages (such as MicroStation blueprints). Specialties: Model checking, propositional logic, type theory, specification engineering, V&V, C, C++, C#, Perl, Java, Python, Haskell, Matlab, XML, graphical languages.
Decision-makers
Other people at Prover
- AFStaff
Abderrahmane Feliachi
Safety and Formal Methods Expert · Other
- JCC-Team
Jesper Carlström
Chief Operating Officer · General Business & Management
- MCStaff
Matthieu Colin
Stagiaire · Information Technology
- ABManager
Arne Borälv
Innovation Pillar Europe's Rail · Engineering
- FNManager
Fei Niu
Ai Innovation Lead · Information Technology
Build a list of verified contacts at Prover
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Ilya
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime