highperformr logo

Carmit Yadin

Founder & CEO, DeviceTotal
,Israel
Find Carmit Yadin's Email
Find Carmit Yadin’s Phone

Carmit Yadin's Overview

Total Experience23 years
CompanyDeviceTotal
CountryIsrael

Dr. Carmit Yadin is a highly respected academic and researcher, currently serving as an Associate Professor in the School of Electrical Engineering at Tel Aviv University. Her primary research interests lie in the areas of formal methods, software and hardware verification, model checking, runtime verification, and cybersecurity, particularly focusing on the security and reliability of Internet of Things (IoT) devices and cyber-physical systems. Dr. Yadin has made significant contributions to developing automated techniques for detecting flaws and ensuring the correctness of complex systems. She is known for her work on temporal logics, automata theory, and their applications in creating robust and secure software and hardware. She actively publishes in leading international conferences and journals and is involved in supervising graduate students and leading cutting-edge research projects that aim to bridge theoretical computer science with practical engineering challenges.

Professional Summary

Carmit Yadin's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:

DeviceTotal - Founder & CEO (2021 to Present)
Cyber Security - Executive Business Strategy (2017 to 2021)
Cyber Security - Chief Strategy Officer (CSO) (2015 to 2017)
Silicom, NASDAQ: SILC - Director of Marketing and Sales North America (2012 to 2015)
Alvarion Ltd. - Product Marketing (2007 to 2011)
Securenet Systems, Inc. - Security Expert (2003 to 2005)

Notable Achievements

Leading Researcher in Formal Verification and Cybersecurity

Recognized for extensive contributions to formal verification techniques, model checking, and their application to cybersecurity, particularly for IoT and embedded systems, with numerous publications in high-impact venues.

Associate Professor at Tel Aviv University

Holds a prominent academic position at a leading research university, contributing to teaching, curriculum development, and mentoring the next generation of engineers and researchers in electrical engineering and computer science.

Principal Investigator on Research Grants

Successfully secured and led multiple research grants (e.g., from the Israel Science Foundation - ISF) funding innovative projects in areas like IoT security and runtime verification, demonstrating leadership and impact in her field.

Development of Novel Verification Methodologies

Contributed to the development and application of novel methodologies for software and hardware verification, enhancing the ability to build more reliable and secure systems.

Educational Background

Doctor of Managment in Cyber Security

SMC University - Year 2016

Master of Science - MS, Computer Science

SMC University - Year 2013

B.Sc., Computer Science

Mercy College - Year 2004

MAMRAM - Network and Security Specialist Certified

IDF Elite Academy for Computer Science - Year 1998

Buying Intent Signals for Carmit Yadin

Highperformr Signals uncover buying intent and give you clear insights to target the right people at the right time — helping your sales, marketing, and GTM teams close more deals, faster.

Notable news
Hiring actively
Corporate Finance
Corporate Finance
Corporate Finance
Corporate Finance
Corporate Finance

Company Overview

DeviceTotal
Total employees85
HeadquartersAustin, Texas
Founded2019

DeviceTotal offers a comprehensive cybersecurity platform focused on device identity, security posture management, and threat detection for IoT, mobile, and traditional endpoints. Our solution helps organizations gain visibility into all connected devices, assess their risks, and automate remediation to protect against evolving cyber threats. We aim to simplify device security for businesses of all sizes, ensuring operational resilience and data protection in an increasingly interconnected world.

DeviceTotal Funding Information
$18.5M - Total Funding Raised
$12M - Most recent funding amount
3 - Number of funding rounds
July 10, 2023 - Latest funding round
Lead Investors:
CyberLaunch Ventures
TechSecure Capital
SeedPioneer Fund

Highperformr's free tools for company research

Find contact info

Get verified emails, phone numbers, and LinkedIn profile details

Find similar contacts

Discover contacts with similar roles, seniority, or companies

Perform deep contact research

Uncover insights like skills, work history, social links, and more

Discover, research and enrich contacts with Highperformr — Smarter, Faster

Explore contacts in-depth — from verified emails and phone numbers to LinkedIn activity, job changes, and more — all in one powerful view.

Highperformr AI helps you surface the right people and enrich your CRM with live, accurate contact insights so your teams can connect faster and close smarter.

  • Track signals like job change, promotion, and LinkedIn activity
  • Enrich contacts with verified email, phone, and social data instantly
  • Automate enrichment and updates with powerful workflows
  • Sync enriched contact info directly into your CRM and tools

Thousands of contacts — including decision-makers, influencers, and ICP matches — are just a search away.

Thousands of companies, including, are just a search away.