Certora | Icebreaker

Certora | Icebreaker

Members

•

•

Over 15 years of experience with working in the internet industry. Focus on back-end development.

•

Head of Security

•

Experienced C ++, Python & Kotlin developer with a strong background in Formal Methods and Algebraic Geometry. Loves to design, implement and optimize complex algorithms that solve difficult problems. Currently a core developer of the Certora Prover, one of the leading solutions for formally verifying Ethereum smart contracts in DeFi.

•

Empowering organizations to maximize the transformative potential of data and AI

•

•

25 + years in HR leadership of global high growth startup companies- leading people and organizational aspects (SW, SAAS, Networking, Web, VLSI, Cyber, Video, Energy, Biotech & now Crypto technologies). I established & staffed global subsidiaries, helped build and support global executive teams and the development of innovative, highly professional and robust company cultures. Led 6 (successful/challenging) HR M&A integrations. Strong ability to lead strategic organizational processes as well as tactical operations to promote the growth & achievement of business objectives. Totally versatile in my ability to be hands on (only HR function), build & lead a top notch HR team or be part of global HR organization. Ability to build relationships and professional partnerships with executives and employees at all levels. Innovative proficiency in use of all social media for sourcing, recruiting & branding. I also enjoy mentoring HR professionals to help develop competency and strengthen their professional contribution to their companies.

•

𝗠𝗮𝗿𝗸𝗲𝘁𝗶𝗻𝗴 𝗟𝗲𝗮𝗱𝗲𝗿𝘀𝗵𝗶𝗽 𝗘𝘅𝗽𝗲𝗿𝗶𝗲𝗻𝗰𝗲 𝗶𝗻 𝗪𝗲𝗯𝟯 & 𝗗𝗲𝗙𝗶 I've helped startups and established companies find compelling ways to increase brand awareness, reach the right audiences, and grow their communities. Whether you need a multi-media content program, a 360-degree marketing campaign, or a ground-breaking strategy plan, I've got you covered.

Eric Eilebrecht

•

Seasoned software engineer with a background in language runtimes and cloud computing, and a passion for performance.

•

Passionate about building relationships. Previously co-founded 2x e-comm projects.