Nuage Studio | April 2020 - April 2020
Integration and conversion from JSON, CSV, XML and SQL files into HL7 v2.x Healthcare System Messages for interoperability between hospitals, clinics, healthcare insurance and other involved parts. - Contractor / Freelance - - Milestones Succesfully Completed -
Universidad de Salamanca
Logics and Mathematical Philosophy, PhD | October 2017 - Present
• Project: ◦ Belnap-Dunn bivalent semantics and Routley-Meyer ternary semantics for the relevant and paraconsistent natural implicative derivated systems of Smiley's tetravalent matrix. • Topics: ◦ Relevant Logics and Paraconsistent Logics. ◦Computability and Decidability. ◦ Model Theory and Information Theory ◦Computational Algebra
User has not solved any challenges yet.
User has not participated in any contests yet.
User doesn't have any discussions yet.