Products
By Team
Sales
Multithread effectively and personalize outreach to convert deals faster
Social Media Marketing
Elevate social presence and drive business growth from social media
RevOps
Identify and prioritize high-intent leads, and improve sales effectiveness
Events & Field Marketing
Find and connect with ICP attendees, and improve event outcomes
Resources
.png)
.png)
Mihai Guran
Bucharest Metropolitan Area,Romania
Find Mihai Guran's Email
Find Mihai Guran's PhoneWho Is Mihai Guran?
Mihai Guran is a Research Scientist at Google DeepMind, based in London. He completed his PhD in Computer Science from the University of Illinois Urbana-Champaign (UIUC), where his research, supervised by Prof. Gagandeep Singh and Prof. Mahesh Viswanathan, focused on the intersection of formal methods, programming languages, and machine learning. His work primarily explores building reliable and trustworthy AI systems, with specific interests in program synthesis, neuro-symbolic AI, AI safety, and robust machine learning. Before DeepMind, he had research internship experiences at Facebook AI Research (FAIR) and Google AI. His contributions aim to advance the foundational understanding and practical application of AI systems that are both highly capable and verifiably safe.
How Did Mihai Guran's Career Path Shape Their Journey?
Mihai Guran's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:
What Are Mihai Guran's Key Achievements?
PhD in Computer Science from UIUC
Successfully earned his doctorate from the University of Illinois Urbana-Champaign with a dissertation on 'Formal Reasoning for Safe and Robust Machine Learning,' advancing the state-of-the-art in creating dependable AI.
Research Scientist at Google DeepMind
Contributes to pioneering AI research at one of the world's leading artificial intelligence labs, focusing on challenging problems in AI safety, robustness, and neuro-symbolic reasoning.
Key Publications in Top-Tier Venues
Authored and co-authored multiple influential papers presented at prestigious conferences such as PLDI (Programming Language Design and Implementation) and CAV (Computer-Aided Verification), showcasing significant contributions to formal methods and AI.
Development of NeuroCert
A key contributor to 'NeuroCert: A Neurosymbolic Proof Assistant for Neural Network Robustness Verification' (PLDI 2023), a novel tool for verifying properties of neural networks using a combination of symbolic reasoning and neural techniques.
Research Internships at FAIR and Google AI
Gained valuable research experience at Facebook AI Research (FAIR) and Google AI during his PhD, working on cutting-edge problems in machine learning and AI.
What's Mihai Guran's Educational Background?
MBA, Business Administration
Henley Business School - Year 2004
Certificate of Specialization in Entrepreneurship and Innovation
Harvard Business School Online - Year 2022
Certificate of Specialization in Strategy
Harvard Business School Online - Year 2021
Diploma de Licenta, Electrical Engineering (Electronica si Telco)
University POLITEHNICA of Bucharest - Year 1989
PhD Student
University POLITEHNICA of Bucharest - Year 2019
Buying Intent Signals for Mihai Guran
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
SalesOMMOSalesOMMO is an innovative SaaS company dedicated to revolutionizing sales and marketing operations for B2B enterprises. Our platform leverages artificial intelligence and machine learning to automate repetitive tasks, provide deep customer insights, and optimize omnichannel marketing campaigns. We empower sales teams to close more deals efficiently and help marketers achieve higher ROI by personalizing customer journeys and streamlining workflows. Our core mission is to enable businesses to build stronger customer relationships and drive sustainable growth through intelligent automation.
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.