Kevin Dean Pettit
Washington, District of Columbia,United States
Find Kevin Dean Pettit's Email
Find Kevin Dean Pettit’s PhoneKevin Dean Pettit's Overview
Kevin Dean Pettit is a distinguished academic and researcher, currently serving as a Professor in the Department of Computer Science and Engineering at Texas A&M University. His research interests are broad, encompassing areas such as software engineering, formal methods, programming languages, and cybersecurity. Dr. Pettit is known for his contributions to developing tools and techniques for creating more reliable and secure software systems. He is dedicated to both advancing the field through research and educating the next generation of computer scientists and engineers. His work often involves rigorous mathematical approaches to software verification and validation.
Professional Summary
Kevin Dean Pettit's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:
Notable Achievements
Professor at Texas A&M University
Holds a professorship in the Department of Computer Science and Engineering, contributing to teaching, research, and curriculum development.
Extensive Publication Record
Authored and co-authored numerous peer-reviewed articles in prestigious journals and conference proceedings in the fields of software engineering, formal methods, and cybersecurity.
Research Grant Acquisition
Successfully secured research funding from various organizations to support his work on software reliability and security.
PhD Advisor and Mentor
Guided numerous PhD students through their doctoral research, many of whom have gone on to successful careers in academia and industry.
Development of Formal Verification Techniques
Contributed to the advancement of formal methods for software verification, aiming to improve software quality and reduce critical errors.
Educational Background
BA, Economics
University of Virginia
Buying Intent Signals for Kevin Dean Pettit
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
Creative GluCreative Glu is a digital marketing agency focused on delivering measurable results for businesses. They specialize in crafting data-driven strategies across various digital channels, including search engine optimization (SEO), social media marketing (SMM), pay-per-click (PPC) advertising, content marketing, and website design and development. Their approach aims to enhance online visibility, engage target audiences, and ultimately drive growth and ROI for their clients, ranging from startups to established enterprises.
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.