Axiomise Celebrates Fourth Anniversary with Executive Appointments, Move to New Office
Builds on Growth and Momentum, Sets Stage for Next Level of Achievement
LONDON –– March 1, 2022 –– Axiomise, the leading provider of cutting-edge formal verification services, software and training, is celebrating its fourth anniversary with two executive-level appointments and a move to new offices.
Executive hires include Neil Dunlop, who joins Axiomise as chief technology officer (CTO), and Gurudutt Bansal (known as GD) who becomes chief operating officer (COO).
The new Axiomise facility is located in Breakspear Park in Hemel Hempstead 20 miles north of central London. The office will be home to the growing team of formal verification experts who will deliver consulting and services work as well as software development for RISC-V.
“We have plenty to celebrate as Axiomise marks its fourth anniversary and builds on our growth and momentum,” remarks Dr. Ashish Darbari, CEO and founder of Axiomise and a foremost authority in practical applied formal verification. “Both Neil and GD are standouts in the field of verification and will help me achieve Axiomise’s next level of growth.
“Dunlop is a gem with a rare ability to connect the dots and see the short- and long-term picture,” notes Dr. Darbari. “I’m delighted to welcome a fellow Oxonian to our team. He shares our vision for formal verification and will play a crucial role as our CTO driving formal deployment.” Dunlop has worked hands-on in the semiconductor industry for several decades and exclusively in the field of formal verification for more than 20 years since obtaining an MSc in Computation from the University of Oxford. As a formal verification expert with extensive experience using a variety of formal tools, he worked on hardware designs at Inmos, STMicroelectronics, ST Ericsson and Imagination Technologies.
“Bansal is an industry veteran with impressive leadership skills and a strong background in building different verification technologies and integrated solutions,” adds Dr. Darbari. “As we expand our reach, he will play a key role to help us build and manage our teams and infrastructure and accelerate our growth with customers.” Bansal was vice president of engineering and managing director of India operations for Oski Technology (now Nvidia). Previously, he was group director, R&D, at Synopsys and worked at Cadence Design Systems for close to 20 years leading R&D teams across India and the United States. Bansal holds a Bachelor in Tech, Computer Engineering from the Delhi Institute of Technology (DIT), now NSIT.
About Axiomise
Axiomise is dedicated to furthering adoption of formal verification through its unique combination of training, consulting, services and specialized verification solutions for RISC-V. Founded by Dr. Ashish Darbari, a formal verification practitioner for over two decades, it offers cutting-edge, formal verification training, consulting and services. An active user of all formal technologies, including theorem proving, model checking and equivalence checking, Dr. Darbari and his team has trained more than 200 engineers across the semiconductor industry. Dr Darbari has 44 U.S., U.K. and European Union patents in the field of formal verification.
|
Related News
- Alphawave IP Announces Appointments to its Executive Leadership team
- Agile Analog to move into iconic Radio House office block in Cambridge, UK to enable significant increase in engineering staff
- De-RISC, the H2020 project which will create the first RISC-V fully European platform for aerospace, celebrates its second anniversary
- EasyIC Design celebrates its 10th anniversary
- Silvaco Appoints Babak Taheri as new Chief Executive Office
Breaking News
- Logic Design Solutions launches Gen4 NVMe host IP
- ULYSS1, Microcontroller (MCU) for Automotive market, designed by Cortus is available
- M31 is partnering with Taiwan Cooperative Bank to launch an Employee Stock Ownership Trust to strengthen talent retention
- Sondrel announces CEO transition to lead next phase of growth
- JEDEC Publishes LPDDR5 CAMM2 Connector Performance Standard
Most Popular
- Arm's power play will backfire
- Alphawave Semi Selected for AI Innovation Research Grant from UK Government's Advanced Research + Invention Agency
- Secure-IC obtains the first worldwide CAVP Certification of Post-Quantum Cryptography algorithms, tested by SERMA Safety & Security
- Weebit Nano continuing to make progress with potential customers and qualifying its technology Moving closer to finalisation of licensing agreements Q1 FY25 Quarterly Activities Report
- PUFsecurity Collaborate with Arm on PSA Certified RoT Component Level 3 Certification for its Crypto Coprocessor to Provide Robust Security Subsystem Essential for the AIoT era
E-mail This Article | Printer-Friendly Page |