Curriculum Vitae

Profile

PhD in Computer Science. Research in mathematical logic, universal algebra, and definability 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.
• Ventura, P. G., Bosco, J. A. (2026). Measuring editorial uncertainty in a multi-transcription corpus: the Voynich Metric Battery under aligned ablation. Digital Medievalist (under review). DOI: 10.5281/zenodo.22062830.
• Fraire, J. A., Ventura, P. (2026). Light-Minute Money: Asynchronous Consensus for an Interplanetary Economy. IEEE Computer, Special Issue on Computing and Communication in Outer Space (under review).

See full list on Research →

Research

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

University extension

• Curricular extension for the Operating Systems course (FaMAF, 2C 2025): Operating Systems in our neighborhoods have something to say, with Escuelita TEC (Campo de la Ribera); hardware survey, Linux profiles, and LibrerouterSO on a community network.
• Faculty team member on the SEU extension project Building community internet networks in the Campo de la Ribera popular neighborhood (FaMAF-UNC, category A-2): curricularization in Operating Systems and Networks and Distributed Systems with Escuelita TEC.

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).
  • Linux infrastructure, Docker, and production deployment.
  • 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

• Undergraduate thesis committee, FaMAF, UNC (2025-02-26): Computational study of quantifier-free first-order definability (Castellano, B. I.; adv. Campercholi, M.)

  UNC repository

• Undergraduate thesis committee, FaMAF, UNC (2024-04-26): Multi-objective routing in delay-tolerant networks (Martinez Picech, B. M.; co-adv. D'Argenio, P. R. and Fraire, J. A.)

  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

• PyPI

  Python packages published on PyPI as author (CLIs and tools)

  pypi.org/user/pablogventura

• ScanTailor Advanced

  Maintainer of ScanTailor Advanced (2nd contributor): oblique deskew, page layout, and Linux packaging (AppImage, deb, Flatpak)

  repository

• MicroPython core

  Merged contribution to MicroPython (runtime): OrderedDict.fromkeys returns OrderedDict, and __len__ must return int (TypeError otherwise), PRs #19645 and #19647

  PR #19645 PR #19647

• micropython-lib HTTP

  Merged contribution to micropython-lib (requests + aiohttp): HTTP/1.1, Content-Length streaming (BodyStream) and chunked bodies (ChunkedStream, .raw/readinto() for mip), plus case-insensitive response headers (RFC 9110), PRs #1124, #1135, #1146 and #1147

  PR #1124 PR #1135

• micropython-lib umqtt.simple

  Merged contribution to micropython-lib (umqtt.simple): correct Remaining Length encoding as Variable Byte Integer in subscribe/unsubscribe (MQTT 3.1.1), and reject short/missing CONNACK with MQTTException (instead of IndexError), PRs #1142 and #1149

  PR #1142 PR #1149

• micropython-lib python-stdlib

  Merged contribution to micropython-lib (python-stdlib): invalid escape handling in fnmatch and string, PR #1150

  PR #1150

• micropython-lib ntptime

  Merged contribution to micropython-lib (ntptime): reject short NTP replies, Kiss-o-Death (stratum 0) and zero timestamps with OSError (instead of unpack/fake times), PRs #1151 and #1152

  PR #1151 PR #1152

• Marlin

  Marlin contribution: S argument on M80 command to query power supply status, merged in firmware and documentation

  PR #6682 docs PR #83

• 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 m3 build volume

Tools developed

• Omnetpy

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

  UNC repository

University service

• Graduate Committee representative, FaMAF (2019).
• Selection committee for Teaching Assistants (2018).

Languages

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