Badges
Certifications
Work Experience
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
Software Engineer
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 -
Education
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
Skills
MarcosRecio has not updated skills details yet.