Carmit Yadin
,Israel
Find Carmit Yadin's Email
Find Carmit Yadin’s PhoneCarmit Yadin's Overview
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:
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.
Company Overview
DeviceTotalDeviceTotal 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.
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.