CV

Education

• Ph.D in Version Control Theory, GitHub University, 2018 (expected)
• M.S. in Jekyll, GitHub University, 2014
• B.S. in GitHub, GitHub University, 2012

Work experience

• Spring 2024: Academic Pages Collaborator
  • GitHub University
  • Duties includes: Updates and improvements to template
  • Supervisor: The Users
• Fall 2015: Research Assistant
  • GitHub University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub
• Summer 2015: Research Assistant
  • GitHub University
  • Duties included: Tagging issues
  • Supervisor: Professor Git

Skills

• Skill 1
• Skill 2
  • Sub-skill 2.1
  • Sub-skill 2.2
  • Sub-skill 2.3
• Skill 3

Publications

Automated Fixed-Point Precision Optimization for FPGA Synthesis

Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers

Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds

Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers

Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures

Compile-Time Optimization of the Energy Consumption of Numerical Computations

What Operations can be Performed Directly on Compressed Arrays, and with What Error?

Toward Increasing Trust in Exascale Simulations

Fixed-Point Code Synthesis Based on Constraint Generation

Constrained Precision Tuning

Fast and Efficient Bit-Level Precision Tuning

A Study of the Floating-Point Tuning Behaviour on the N-body Problem

An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic

Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices

Precision Tuning and Internet of Things

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations

Talks

Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers

June 16, 2025

Talk at SOAP@PLDI 2025, Seoul, Republic of Korea

Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures

April 07, 2025

Talk at Journées Formalisation des Activités Concurrentes (FAC 2025), France

Quantization of DNNs: Challenges and Opportunities

January 15, 2025

Talk at CAFEIN Workshop (Combinaison d'Approches Formelles pour l'Étude d'INvariants numériques), France

Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers

July 01, 2024

Talk at 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024), Valletta, Malta

Compile-Time Optimization of the Energy Consumption of Numerical Computations

May 07, 2024

Talk at ACM International Conference on Computing Frontiers (CF 2024), Ischia, Italy

Teaching

Web Programming

Requirement Engineering & Verification and Validation

Python Algorithmic and Programming

Introduction to Systems Engineering

Introduction to R

Drone Development from Concept to Flight

Deepening and Management of Databases/SQL

C++ Oriented Certification: DO-178/ED-12 and DO-332

C/C++ Algorithmic and Programming

Basic Python Programming & PythonQt

Service and leadership

• Currently signed in to 43 different slack teams