Management Team

Kathryn Kranen, President and CEO

Kathryn Kranen, President and CEO
Kathryn Kranen is the president and CEO of Jasper Design Automation, a profitable private EDA software company. She is responsible for leading the team that has successfully brought the company’s pioneering technology to the mainstream design verification market. She has over 20 years of experience in the EDA domain. While previously serving as president and CEO of Verisity Design, she and her team created an entirely new segment in the design verification market. Prior to Verisity, Kathryn was Vice President of North American Sales for Quickturn Systems. She started her career as a design engineer at Rockwell International, and later joined Daisy Systems, an early EDA company. She graduated summa cum laude from Texas A&M University with a Bachelor’s in Electrical Engineering. Kathryn is now serving her sixth term on the EDA Consortium board, and as chairman for 2012-2013. She is a member of the Board of Trustees of the World Affairs Council in Northern California.

Kathryn was awarded the prestigious EE Times and EDN ACE Lifetime Achievement Award for contributions to the electronics industry in 2013. She was named one of the EE Times Top Ten Women in Microelectronics in 2001. Kathryn was the 2005 recipient of the Marie Pistilli Women in Electronic Design Automation Award.


Rajeev Ranjan, PhD, Chief Technology Officer Rajeev Ranjan, PhD, Chief Technology Officer
Rajeev Ranjan is responsible for developing Jasper’s overall technology vision and driving the business value of formal. Prior to joining Jasper, Rajeev was CTO and VP of Engineering at Real Intent, where he led the development of their products and set the company’s technical direction. Before joining Real Intent, he was in the Advanced Technology Group at Synopsys, where he co-developed the prototype for Magellan, Synopsys’s formal-assisted simulation product. Rajeev has been active in the area of formal verification for over 17 years. He has served in the organization and program committee of many international conferences including DAC, ICCAD, FMCAD, and CHARME. He has published numerous articles and holds 5 patents in the area of functional verification. Rajeev received his Bachelors degree from Indian Institute of Technology, Kanpur, his Masters degree from University of Illinois at Urbana-Champaign, and his doctorate degree in formal verification from University of California at Berkeley.


Claudionor Coelho, PhD/MBA, Vice President of Engineering Claudionor Coelho, PhD/MBA, Sr. Vice President of Engineering
Claudionor Coelho is focused on bringing strong and innovative formal verification technology to Jasper’s products and to ensuring the high-quality of Jasper’s tools. Claudionor has several years of experience in EDA tool development. Before joining Jasper Design-Automation, Claudionor has worked in several companies in the US, both in technical and in upper management positions, including Integrated Information Technology (NASDAQ: EGHT), performing the formal verification of a pipelined high-performance processor, and in Verplex Systems (NASDAQ: CDNS), where he directed the BlackTie™ team and was responsible for the development of OVL. He was also a founder of several successful startups, and he was a counselor for FirCapital Partners in startup strategy and technology. Claudionor obtained his BSEE (summa cum laude) and MSCS from the Federal University of Minas Gerais in Belo Horizonte, Brazil, his PhD-EE/CS from Stanford University, and his MBA from IBMEC/MG. Dr. Coelho has written award-winning papers and books, and was a contributing author to Advanced Formal Verification from Kluwer Academic Publishers. He was an Associate Professor at the Computer Science Department at the Federal University of Minas Gerais, Brazil.


Ziyad Hanna, Chief Architect and Vice President of Research Ziyad Hanna, PhD, Sr. Vice President of R&D, Chief Architect, and General Manager of Jasper Israel Ltd. 
Ziyad Hanna is responsible for advancing the company’s breakthroughs in formal verification technology, core engines and system architecture. Ziyad has over 20 years of industry experience. Prior to joining Jasper, Ziyad was Intel senior principal engineer and the main leader of the Formal Technology Research and Development Group in the Design and Technology Solutions division at Intel Haifa. While at Intel, Ziyad was instrumental in the development of several generations of formal verification systems used on almost all Intel microprocessor designs since early 1990s. A senior IEEE member, Ziyad has been active in the area of formal verification for over 17 years, and has mentored many research projects with academia and served in various international conferences including SAT, ICCAD, DAC and ICCD. He has published more than 25 articles the formal area and holds 8 patents. He received both his B.Sc. and M.S. degrees in computer science at Tel-Aviv University. He received his Ph.D with research in “Abstract Modeling and Formal Verification of Microprocessors” at the Computing Laboratory of Oxford University.


Oz Levia, Vice President of Marketing and Business Development Oz Levia, Vice President of Marketing and Business Development and Corporate Counsel
An experienced verification technologist businessman and executive, Oz is responsible for the development of growth-oriented business and product strategies that can leverage Jasper’s success and leadership in the formal technology market. Prior to joining Jasper Oz was the Vice president of Marketing and Business Development at SpringSoft where he was responsible for the development strategy of internal products and for M&A. Oz joined SpringSoft when it acquired Novas, where Oz was the Vice President of Product Marketing with responsibility for product strategy, M&A and strategic relationships. Prior to working at Novas Oz was a Sr. Director of strategic marketing at Synopsys. In 1997 Oz was the co-founder and CTO of Improv Systems, Inc., a DSP IP company. Oz holds a BS (with high distinction) and MS (with distinction) in computer science from the University of Minnesota and Boston College respectively and a JD from Santa Clara University Law School. Oz is the co-inventor of 3 US patents and was the Co-Editor of “Current Issues in Electronic Modeling,” published by KAP with 11 issues in print.


Lawrence Loh, Vice President of Worldwide Applications Engineering Lawrence Loh, Vice President of Worldwide Applications Engineering
Lawrence Loh holds overall management responsibility for the company’s applications engineering and methodology development. Loh has been with the company since 2002, and was formerly Jasper’s Director of Application Engineering. He holds four U.S. patents on formal technologies. His prior experience includes verification and emulation engineering for MIPS, and verification manager for Infineon’s successful LAN Business Unit. Loh holds a BSEE from California Polytechnic State University and an MSEE from San Diego State.


Coby Hanoch, VP of International Sales Coby Hanoch, VP of Worldwide Sales
Coby has over 30 years of experience in the Semiconductor and EDA industries.  Between 1998 and 2002 Coby was the VP or International Sales and Senior VP of Worldwide Sales at Verisity. After the acquisition by Cadence, Coby served as Cadence’s VP of Worldwide Verification Sales. After Leaving Cadence Coby created EDACon, a global EDA distribution organization in Israel.  Coby also served as President and CEO of Packetlight Networks Ltd.  Coby holds a BSc degree in Computer Engineering from the Israel Institute of Technology.


Kathy Bagby, Vice President of Finance
Kathy Bagby is responsible for all finance and accounting related functions for Jasper Design Automation.  Kathy has extensive experience as a financial officer and comes to Jasper having held past positions as the Chief Financial Officer and VP of Finance at Genoa Corporation, Raster Graphics, Red Brick Systems, and Venture Consulting Partners.  During her tenure at Venture Consulting Partners, Kathy held interim CFO/VP of Finance/Controller positions for a number of clients in the software and hi-tech industry including NetFlix, Inhale Therapeutic Systems,, Fireclick, Inc., Arroyo Video Solutions, Inc., loopt, Inc., RockYou,  Perenety, Key ASIC, Cisco Systems, Seeo, Inc., 23andMe Inc., Heroku Inc/SalesForce, Skyfire Labs Inc, Posterous, Respect Network Corp, Yoink Games.  Kathy Bagby holds a Bachelor of Arts in Economics and Business from Westmont College, Santa Barbara, California.  She is also a graduate from the International Institute of Business and Economics, an overseas program concentrating in corporate and financial institutions.