Data Scientist / Mathematician / Logician (Freelancer)
Upwork (formerly Elance-oDesk) | December 2019 - Present
Rising Talent Badge at Upwork Services: Development of software or scripts for Data Mining, Data Wrangling, Web Scraping. Creation of Dashboards Studies of Probability and Logic (assesment on Data Mining) Knowledge representation and reasoning (AI semantics and Ontology) Diverse services in the Data Analysis field (exploratory analysis, data wrangling and preprocessing, ML training models) Mathematical modelling Tools: Python main libs (pandas, numpy, TensorFlow, scipy) other(pygal, matplotlib,dash) R (flair, Tidyverse) & RStudio Julia (Knet) Logic Programming (Knowledge Repr.&Reas.): Prolog, Ciao, Picat Graphs & Semantics: Neo4j
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.