Popular repositories Loading

1. Code-generation-in-a-logic-language Code-generation-in-a-logic-language Public

   The goal of this project is to create a translator that takes as input a Latex file containing a tree and returns the same tree as a Coq file. For simplicity, the program was designed assuming tha…

   Python

2. Voting-based-probabilistic-consensuses Voting-based-probabilistic-consensuses Public

   This report was part of the final research project of the first-year master’s program Mathématiques et Applications at Aix-Marseille Université. This project was supervised by professor Sebastian M…

3. Elliptic-curve-cryptography Elliptic-curve-cryptography Public

   This report was part of the final project in the course Algorithmic number theory under the supervision of professor Joaquín Rodrigues Jacinto, which is part of the Master program Informatique et M…

4. Ramsey-theorems Ramsey-theorems Public

   This document is my final project to graduate as a mathematician from Industrial University of Santander. This work was supervised by PhD Carlos Enrique Uzcategui Aylwin.

5. Verification-of-security-sensitive-workflows-with-data Verification-of-security-sensitive-workflows-with-data Public

   This research work focuses on operational processes like workflows and their verification [8]. A workflow outlines a series of tasks initiated by humans or software agents acting on their behalf, a…