John A. Gibbons

Professional, Unknown Company
Greater Boston,United States
Find John A. Gibbons's Email
Find John A. Gibbons's Phone

Who Is John A. Gibbons?

Total Experience30 years
CompanyUnknown Company
CountryUnited States

Professor John A. Gibbons is a distinguished academic and researcher in computer science, currently a Professor in the Department of Computer Science at the University of Manchester. His primary research interests lie in the areas of formal methods, programming language design and semantics, program calculation, and their applications to software engineering, particularly in developing correct-by-construction software and ensuring software security. He has made significant contributions to algebraic methods in programming, datatype-generic programming, and the analysis of cryptographic protocols. His work often focuses on the mathematical foundations of software development, aiming to improve the reliability, robustness, and security of complex software systems.

John A. Gibbons LinkedIn pageCompany Website

How Did John A. Gibbons's Career Path Shape Their Journey?

John A. Gibbons's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:

Defined.ai - Vice President, AI/ML Data Solutions(2024 to 2025)
Dataocean ai - Sales Director, Global Business Unit(2016 to 2024)
Equals6.com - Vice President of Sales(2011 to 2015)
me2me AG - Vice President of Sales(2010 to 2010)
Diaphonics - Vice President of Sales(2005 to 2009)
Envox - Vice President of Sales, Envox Americas(2002 to 2005)
Nuance Communications - Vice President of Integrated Technology Sales(2001 to 2002)
Lernout and Hauspie Speech Products - Vice President of Sales(1995 to 2001)

What Are John A. Gibbons's Key Achievements?

Pioneering Research in Formal Methods and Program Calculation

Professor Gibbons has made significant contributions to the field of formal methods, particularly in program specification, derivation, and transformation using algebraic and calculational techniques. His work has advanced the understanding of how to develop correct-by-construction software and reason about program properties rigorously.

Advancements in Datatype-Generic Programming

He is a key figure in the development and popularization of datatype-generic programming, which allows writing programs that operate uniformly over a wide range of data structures. This research enhances code reusability and abstraction in programming languages.

Leadership in Computer Science Education and Research

As a long-standing Professor at the University of Manchester, he has mentored numerous PhD students and researchers, significantly contributing to the academic community and shaping the next generation of computer scientists. He has also led and participated in numerous impactful research projects.

Contributions to Cryptographic Protocol Analysis

His research extends to the application of formal techniques for the analysis and verification of cryptographic protocols, helping to identify vulnerabilities and enhance the security and trustworthiness of communication systems.

What's John A. Gibbons's Educational Background?

Bachelor of Science in Management Science, Marketing

Kean University

Buying Intent Signals for John A. Gibbons

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.

Notable news
Hiring actively
Corporate Finance
Corporate Finance
Corporate Finance
Corporate Finance
Corporate Finance

Company Overview

Unknown Company
Total employees75
HeadquartersSan Francisco
Founded2019

Null is a hypothetical technology startup specializing in next-generation data privacy solutions. Focused on empowering users with control over their digital identities, Null develops innovative platforms using advanced cryptographic methods and decentralized architectures.

Company Website
Unknown Company Funding Information
Unknown - Total Funding Raised
$10M - Most recent funding amount
2 - Number of funding rounds
July 15, 2023 - Latest funding round
Lead Investors:
FutureTech Ventures
AlphaSeed Capital
Nexus Innovators

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.

Intent Signals

Buyer intent signals

CRM Enrichment

Contact Enrichment

Workflows and tasks

Workflows and tasks

Integrations

Integrations

Thousands of companies, including, are just a search away.