Curriculum Vitae

Full CV in PDF and summary by section.

Download

Full academic CV in PDF (last updated: 2026-06-22).

Download CV (PDF)

Profile

PhD in Computer Science. Research in mathematical logic, universal algebra, and decidability algorithms. University lecturer in networks, operating systems, and databases. Experience in thesis supervision, applied Machine Learning, and industrial IoT.

Education

  • PhD in Computer Science

    2023

    FaMAF, National University of Córdoba

    Thesis: «Algorithms for deciding definability of relations by first-order fragments». Advisor: Dr. Miguel Campercholi.

    UNC institutional repository

  • CONICET Doctoral Fellow

    2016–2022

    Universal Algebra and Logic Group, FaMAF

  • Graduate Diploma in Data Science

    2022

    FaMAF, UNC

  • BSc in Computer Science

    2015

    FaMAF, UNC

    Specializations: Microcontrollers and Statistical Analysis of Satellite Imagery.

  • Associate Degree in Computing

    2015

    FaMAF, UNC

Publications

  • Areces, C., Campercholi, M., Ventura, P. (2018). Deciding Open Definability via Subisomorphisms. WoLLIC 2018, LNCS 10944.
  • Campercholi, M., Tellechea, M., Ventura, P. (2020). Deciding Quantifier-free Definability in Finite Algebraic Structures. ENTCS 348.
  • Campercholi, M., Tellechea, M., Ventura, P. (2023). Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures. arXiv:2303.17017.

See full list on Research →

Research

Areas

First-order logic, universal algebra, finite algebraic structures, and relation definability. Applications in decision algorithms and formal modeling.

Interests

Applied Machine Learning, embedded systems and industrial IoT, algorithms and complexity, operating systems and networks.

Teaching experience

  • Assistant Professor – FaMAF, UNC

    2018–Present

    Courses: Networks and Distributed Systems; Operating Systems; Databases; Introduction to Logic

    • System architecture, concurrency, and kernel design.
    • Network protocols and distributed systems.
    • Teaching with Python, C, OMNeT++, and Xv6.

  • Lecturer – Introductory Arduino (Robotics & Home Automation), Vector 3D

    2018–2019

    Designed the curriculum and taught classes for learners outside the software industry.

  • Teaching Assistant – FaMAF, UNC

    2015–2016

    Courses: Discrete Mathematics II; Operating Systems; Algorithms II

Professional experience

  • Technical Leader – KeyLab

    Jul 2023–Present
    • Applied Machine Learning: data pipelines, feature engineering, model training and evaluation, MLflow, and Parquet datasets.
    • Reproducible training tooling: streaming training, resource logging, and model quality reports.
    • Technical team leadership: architecture, code review, and mentoring.
    • Production IoT for smart electrical metering: device-to-cloud telemetry and cloud integration as the application domain.
    • Linux infrastructure, Docker, and production deployment.

  • Software Engineer (IoT & embedded) – KeyLab

    Aug 2021–Jul 2023
    • Technical team leadership (2 developers): architecture, code review, and mentoring.
    • IoT architecture design for smart electrical meters over MQTT.
    • ESP32 firmware in C and MicroPython; device-to-cloud telemetry and cloud integration.
    • Wireless connectivity: Wi-Fi, BLE, LTE, and GNSS (3+ years with Wi-Fi/BLE modules; 5+ years embedded firmware in C).
    • Applied Machine Learning at the edge and sensor data processing.

  • Technical Advisor – Vector 3D

    Mar 2018–Nov 2019
    • Firmware and control software improvements for 3D printers.

Academic management

  • IoT Specialization thesis advisor, FIUBA (2024): Remote monitoring and management of a greenhouse sensor network (Andrioli Villa, F. A.)

    FIUBA repository

  • Undergraduate thesis advisor, FaMAF, UNC (2022): Omnetpy: Python integration in the OMNeT++ simulation environment (Modenesi, M. S.)

    UNC repository

  • Graduate Committee representative, FaMAF (2019).

  • Selection committee for Teaching Assistants (2018).

Open source

  • xv6

    xv6 (MIT) contribution: user-space I/O isolation bug report; merged fix with regression test

    commit aff0c8d

  • OctoPrint-PowerFailure

    OctoPrint-PowerFailure plugin for print recovery after power loss; 5000+ active instances in the official OctoPrint plugin store

    repository official OctoPrint plugin store

  • Marlin

    Marlin contribution: S argument on M80 command to query power supply status, merged via PR #6682

    PR #6682

  • OpenIPC majestic-webui

    Merged contribution to OpenIPC majestic-webui: unified PTZ support for motor profiles and GPIO stepper motors on embedded Linux IP cameras

    PR #53

  • BFM

    BFM — custom 3D printer with a 1 m³ build volume

Tools developed

  • Omnetpy

    Omnetpy: Python integration in the OMNeT++ simulation environment; supervised undergraduate thesis (Modenesi, M. S., 2022).

    UNC repository

Languages

  • Spanish: Native
  • English: Full professional proficiency (UNC certification)
  • Portuguese: Professional working proficiency