Patents by Inventor Michael Craig

Michael Craig has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • DISTRIBUTED STREAM-BASED ACID TRANSACTIONS
    Publication number: 20260133960
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Application
    Filed: January 9, 2026
    Publication date: May 14, 2026
    Inventor: Michael CRAIG
  • Distributed stream-based acid transactions
    Patent number: 12561312
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Grant
    Filed: May 17, 2024
    Date of Patent: February 24, 2026
    Assignee: Nasdaq, Inc.
    Inventor: Michael Craig
  • Distributed stream-based acid transactions
    Patent number: 12554700
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Grant
    Filed: May 17, 2024
    Date of Patent: February 17, 2026
    Assignee: NASDAQ, INC.
    Inventor: Michael Craig
  • Distributed stream-based acid transactions
    Patent number: 12541500
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Grant
    Filed: May 17, 2024
    Date of Patent: February 3, 2026
    Assignee: NASDAQ, INC.
    Inventor: Michael Craig
  • DISTRIBUTED STREAM-BASED ACID TRANSACTIONS
    Publication number: 20250355861
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Application
    Filed: May 17, 2024
    Publication date: November 20, 2025
    Inventor: Michael CRAIG
  • DISTRIBUTED STREAM-BASED ACID TRANSACTIONS
    Publication number: 20250355864
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Application
    Filed: May 17, 2024
    Publication date: November 20, 2025
    Inventor: Michael CRAIG
  • DISTRIBUTED STREAM-BASED ACID TRANSACTIONS
    Publication number: 20250355859
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Application
    Filed: May 17, 2024
    Publication date: November 20, 2025
    Inventor: Michael CRAIG
  • DISTRIBUTED STREAM-BASED ACID TRANSACTIONS
    Publication number: 20250355860
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Application
    Filed: May 17, 2024
    Publication date: November 20, 2025
    Inventor: Michael CRAIG
  • SYSTEMS AND METHODS OF MATCHING CUSTOMIZABLE DATA TRANSACTION REQUESTS
    Publication number: 20250328960
    Abstract: A computer system is provided that allows participants to submit agent data structures for processing. Each agent data structure includes a valuation function for a first resource and a property of a second resource. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another. A match is determined by comparing results of valuation functions of the agent data structures.
    Type: Application
    Filed: June 29, 2025
    Publication date: October 23, 2025
    Inventors: Michael CRAIG, Thomas FAY, Dominick PANISCOTTI
  • Distributed stream-based ACID transactions
    Patent number: 12373423
    Abstract: A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.
    Type: Grant
    Filed: May 17, 2024
    Date of Patent: July 29, 2025
    Assignee: Nasdaq, Inc.
    Inventor: Michael Craig
  • Systems and methods of matching customizable data transaction requests
    Patent number: 12367528
    Abstract: A computer system is provided that allows participants to submit agent data structures for processing. Each agent data structure includes a valuation function for a first resource and a property of a second resource. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another. A match is determined by comparing results of valuation functions of the agent data structures.
    Type: Grant
    Filed: August 17, 2023
    Date of Patent: July 22, 2025
    Assignee: Nasdaq, Inc.
    Inventors: Michael Craig, Thomas Fay, Dominick Paniscotti
  • MACHINE LEARNING BASED METHODS OF ANALYSING DRUG-LIKE MOLECULES
    Publication number: 20250174314
    Abstract: There is provided a method for a machine learning based method of analysing drug-like molecules by representing the molecular quantum states of each drug-like molecule as a quantum graph, and then feeding that quantum graph as an input to a machine learning system.
    Type: Application
    Filed: January 27, 2025
    Publication date: May 29, 2025
    Inventors: Hagen TRIENDL, Matthias BAL, Jarvist Moore FROST, Lawrence PHILLIPS, Agisilaos CHANTZIS, Graham SIMPSON, Vic STOJEVIC, Noor SHAKER, Michael CRAIG, Usman BASHIR, Mariana ASSMANN
  • Machine learning based methods of analysing drug-like molecules
    Patent number: 12211592
    Abstract: There is provided a method for a machine learning based method of analysing drug-like molecules by representing the molecular quantum states of each drug-like molecule as a quantum graph, and then feeding that quantum graph as an input to a machine learning system.
    Type: Grant
    Filed: July 17, 2019
    Date of Patent: January 28, 2025
    Assignee: KUANO LTD.
    Inventors: Hagen Triendl, Matthias Bal, Jarvist Moore Frost, Lawrence Phillips, Agisilaos Chantzis, Graham Simpson, Vic Stojevic, Noor Shaker, Michael Craig, Usman Bashir, Mariana Assmann
  • Systems and methods of conditional search techniques
    Patent number: 11921727
    Abstract: A computer is provided that includes a search engine. The search engine is configured to receive a search request and conduct a search against a database. Each record within the database includes or is associated with a display criteria or profile that specifies when data from that record can be included into a response to a search.
    Type: Grant
    Filed: March 28, 2022
    Date of Patent: March 5, 2024
    Assignee: NASDAQ TECHNOLOGY AB
    Inventors: Jan Tilfors, Robert Adolfsson, Michael Craig
  • SYSTEMS AND METHODS OF MATCHING CUSTOMIZABLE DATA TRANSACTION REQUESTS
    Publication number: 20230394574
    Abstract: A computer system is provided that allows participants to submit agent data structures for processing. Each agent data structure includes a valuation function for a first resource and a property of a second resource. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another. A match is determined by comparing results of valuation functions of the agent data structures.
    Type: Application
    Filed: August 17, 2023
    Publication date: December 7, 2023
    Inventors: Michael CRAIG, Thomas FAY, Dominick PANISCOTTI
  • Systems and methods of matching customizable data transaction requests
    Patent number: 11769204
    Abstract: A computer system is provided that allows participants to submit agent data structures for processing. Each agent data structure includes a valuation function for a first resource and a property of a second resource. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another. A match is determined by comparing results of valuation functions of the agent data structures.
    Type: Grant
    Filed: October 11, 2022
    Date of Patent: September 26, 2023
    Assignee: NASDAQ, INC.
    Inventors: Michael Craig, Thomas Fay, Dominick Paniscotti
  • SYSTEMS AND METHODS OF MATCHING CUSTOMIZABLE DATA TRANSACTION REQUESTS
    Publication number: 20230062530
    Abstract: A computer system is provided that allows participants to submit agent data structures for processing. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another.
    Type: Application
    Filed: October 11, 2022
    Publication date: March 2, 2023
    Inventors: Michael CRAIG, Thomas FAY, Dominick PANISCOTTI
  • Systems and methods of matching customizable data transaction requests
    Patent number: 11494839
    Abstract: A computer system is provided that allows participants to submit agent data structures for processing. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another.
    Type: Grant
    Filed: November 21, 2019
    Date of Patent: November 8, 2022
    Assignee: NASDAQ, INC.
    Inventors: Michael Craig, Thomas Fay, Dominick Paniscotti
  • SYSTEMS AND METHODS OF CONDITIONAL SEARCH TECHNIQUES
    Publication number: 20220309060
    Abstract: A computer is provided that includes a search engine. The search engine is configured to receive a search request and conduct a search against a database. Each record within the database includes or is associated with a display criteria or profile that specifies when data from that record can be included into a response to a search.
    Type: Application
    Filed: March 28, 2022
    Publication date: September 29, 2022
    Inventors: Jan TILFORS, Robert ADOLFSSON, Michael CRAIG
  • SYSTEMS AND METHODS OF MATCHING CUSTOMIZABLE DATA TRANSACTION REQUESTS
    Publication number: 20200167865
    Abstract: A computer system is provided that allows participants to submit agent data structures for processing. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another.
    Type: Application
    Filed: November 21, 2019
    Publication date: May 28, 2020
    Inventors: Michael CRAIG, Thomas FAY, Dominick PANISCOTTI