Jaydeep Jhala
Ahmedabad, Gujarat,India
Find Jaydeep Jhala's Email
Find Jaydeep Jhala’s PhoneJaydeep Jhala's Overview
Jaydeep Jhala is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research interests are primarily in Programming Languages, Formal Methods, and Software Engineering. He focuses on developing theories, techniques, and tools to help programmers construct reliable and secure software. Professor Jhala is particularly known for his work on program verification, refinement types (notably Liquid Haskell), and automated program synthesis. He aims to make formal verification practical and accessible to everyday programmers, thereby improving software quality and dependability across various domains.
Professional Summary
Jaydeep Jhala's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:
Notable Achievements
NSF CAREER Award
Recipient of the prestigious National Science Foundation (NSF) CAREER award, which recognizes early-career faculty who have the potential to serve as academic role models in research and education and to lead advances in the mission of their department or organization.
Co-creator of Liquid Haskell
Co-developed Liquid Haskell, an influential static verifier for Haskell programs based on Liquid Types. This tool allows programmers to enforce complex invariants and properties at compile-time, significantly enhancing software reliability.
ACM SIGPLAN Distinguished Paper Awards
Authored and co-authored multiple research papers that have received Distinguished Paper Awards at top-tier programming languages conferences such as PLDI (Programming Language Design and Implementation) and POPL (Symposium on Principles of Programming Languages), signifying high-impact contributions to the field.
Invited Talks and Keynotes
Frequently invited to give talks, tutorials, and keynotes at major international conferences and workshops, highlighting his leadership and expertise in programming languages and formal verification.
Educational Background
Buying Intent Signals for Jaydeep Jhala
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
Axis BankAxis Bank is the third largest private sector bank in India offering a comprehensive suite of financial products. The bank has its head office in Mumbai, Maharashtra. It offers a wide spectrum of services to customer segments covering Large and Mid-Corporates, MSME, Agriculture and Retail Businesses. From an end-user perspective, Axis Bank provides services like savings and current accounts, fixed deposits, home loans, personal loans, car loans, credit cards, debit cards, forex services, investment options like mutual funds and demat accounts, and various digital banking solutions through its mobile app and internet banking portal.
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.