Mate Soos
Formal Verification Researcher & Engineer @Ethereum Foundation
Berlin, DE
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Feb 2022 — Present
Formal Verification Researcher & Engineer @Ethereum Foundation
View department →
SKILLS
Algorithm DesignVulnerability AssessmentVulnerability ScanningHackingSoftware TestingC++ LanguageEmbedded SystemsNetwork SecurityComputer ScienceCryptographyAlgorithmsSoftware DevelopmentLinuxLatexAmazon Web Services (Aws)Cloud ComputingSoftware EngineeringComputer SecurityOpenclSqlLeading TeamsPythonSatisfiability SolvingThreat ModelingReport WritingResearch
ABOUT MATE SOOS
I\'m passionate about formal verification, symbolic execution, complex system failure…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.