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.
Carmit Yadin's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:
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.
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.
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.
Contributed to the development and application of novel methodologies for software and hardware verification, enhancing the ability to build more reliable and secure systems.
SMC University - Year 2016
SMC University - Year 2013
Mercy College - Year 2004
IDF Elite Academy for Computer Science - Year 1998
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.
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.
Get verified emails, phone numbers, and LinkedIn profile details
Discover contacts with similar roles, seniority, or companies
Uncover insights like skills, work history, social links, and more
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.
Thousands of contacts — including decision-makers, influencers, and ICP matches — are just a search away.
Thousands of companies, including, are just a search away.