Patents by Inventor Denis Ignatovich

Denis Ignatovich 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).

  • System and method for modeling and verifying financial trading platforms
    Patent number: 10769726
    Abstract: A computer-implemented method assesses operation of a financial computing system (FCS). An assessment computer system generates code for a model of the FCS that comprises a model specification for the FCS and a model environment for the FCS. The code for the model uses a type-system based logical programming language that supports typed recursive functions. The assessment computer system generates mathematical axioms that describe the operation of the FCS by compiling the code for the model and assesses the operation of the financial computer system by analyzing the mathematical axioms.
    Type: Grant
    Filed: August 23, 2019
    Date of Patent: September 8, 2020
    Assignee: AESTHETIC INTEGRATION LIMITED
    Inventors: Denis Ignatovich, Grant O. Passmore
  • SYSTEM AND METHOD FOR MODELING AND VERIFYING FINANCIAL TRADING PLATFORMS
    Publication number: 20190378213
    Abstract: A computer-implemented method assesses operation of a financial computing system (FCS). An assessment computer system generates code for a model of the FCS that comprises a model specification for the FCS and a model environment for the FCS. The code for the model uses a type-system based logical programming language that supports typed recursive functions. The assessment computer system generates mathematical axioms that describe the operation of the FCS by compiling the code for the model and assesses the operation of the financial computer system by analyzing the mathematical axioms.
    Type: Application
    Filed: August 23, 2019
    Publication date: December 12, 2019
    Inventors: Denis Ignatovich, Grant O. Passmore
  • System and method for modeling and verifying financial trading platforms
    Patent number: 10424019
    Abstract: A computer-implemented method assesses operation of a financial computing system (FCS). An assessment computer system generates code for a model of the FCS that comprises a model specification for the FCS and a model environment for the FCS. The code for the model uses a type-system based logical programming language that supports typed recursive functions. The assessment computer system generates mathematical axioms that describe the operation of the FCS by compiling the code for the model and assesses the operation of the financial computer system by analyzing the mathematical axioms.
    Type: Grant
    Filed: September 15, 2015
    Date of Patent: September 24, 2019
    Assignee: Aesthetic Integration Limited
    Inventors: Denis Ignatovich, Grant O. Passmore
  • System and method for modeling and verifying financial trading platforms
    Patent number: 10109010
    Abstract: A computer-implemented method assesses operation of a financial computing system (FCS). An assessment computer system generates code for a model of the FCS that comprises a model specification for the FCS and a model environment for the FCS. The code for the model uses a type-system based logical programming language that supports typed recursive functions. The assessment computer system generates mathematical axioms that describe the operation of the FCS by compiling the code for the model and assesses the operation of the financial computer system by analyzing the mathematical axioms.
    Type: Grant
    Filed: September 15, 2015
    Date of Patent: October 23, 2018
    Assignee: AESTHETIC INTEGRATION LTD.
    Inventors: Denis Ignatovich, Grant O. Passmore
  • SYSTEM AND METHOD FOR MODELING AND VERIFYING FINANCIAL TRADING PLATFORMS
    Publication number: 20170278189
    Abstract: A computer-implemented method assesses operation of a financial computing system (FCS). An assessment computer system generates code for a model of the FCS that comprises a model specification for the FCS and a model environment for the FCS. The code for the model uses a type-system based logical programming language that supports typed recursive functions. The assessment computer system generates mathematical axioms that describe the operation of the FCS by compiling the code for the model and assesses the operation of the financial computer system by analyzing the mathematical axioms.
    Type: Application
    Filed: September 15, 2015
    Publication date: September 28, 2017
    Applicant: Aesthetic Integration Limited
    Inventors: Denis Ignatovich, Grant O. Passmore
  • SYSTEM AND METHOD FOR MODELING AND VERIFYING FINANCIAL TRADING PLATFORMS
    Publication number: 20160078539
    Abstract: A computer-implemented method assesses operation of a financial computing system (FCS). An assessment computer system generates code for a model of the FCS that comprises a model specification for the FCS and a model environment for the FCS. The code for the model uses a type-system based logical programming language that supports typed recursive functions. The assessment computer system generates mathematical axioms that describe the operation of the FCS by compiling the code for the model and assesses the operation of the financial computer system by analyzing the mathematical axioms.
    Type: Application
    Filed: September 15, 2015
    Publication date: March 17, 2016
    Inventors: Denis Ignatovich, Grant O. Passmore