Hugo Queinnec's Projects
21 implementations of examples of Actors Systems, in Java using Akka.io. Coded during SLR203 courses in Télécom Paris.
Create a quick shortcut for macOS, to select a sentence in English and paste a corrected version, using DeepL API.
Jupyter-Notebook that implements parts of the Goldstein-Fattal method, which allows to estimate an image's Blur Kernel and to unblur it. Project done in Télécom Paris.
The goal of this project is to classify images of cells first in a binary way (cancerous cells or not), then in multi-classes. This is achieved using Machine Learning, Probabilistic Models and Neural Networks. Project done in Télécom Paris.
DaCe - Data Centric Parallel Programming
This project aims to verify that two users have indeed found the same discovery without actually disclosing one's result to the other user, using Intel SGX. Project done in ETH Zürich.
Implementation from scratch of a distributed word counter following the Hadoop MapReduce concept. Project done in Télécom Paris.
This repo is my profile landing page.
Graphical interface for the design and resolution of mazes, using Dijkstra algorithm. Coded during INF103 courses in Télécom Paris.
Client-server distributed media manager application. Developed in C++ with a Java Swing Client GUI. Coded during INF224 courses in Télécom Paris.
Graphical User Interface to visualize 3D medical images in NIfTI format. There are also several integrated segmentation and graph clustering methods. PAF Project done in Télécom Paris.
The goal of this project is to design a fault-tolerant distributed system. Here we focus on a Akka state-machine replicated system build atop Obstruction-Free Consensus and Paxos. Project done in Télécom Paris.
Two-dimensional proportional–integral–derivative controller for a boat, tracking both its angle and speed. Includes a GUI simulator. Part of the PACT Project in Télécom Paris.
The goal of this project is to create a quick shortcut for macOS to open and connect to a Moodle website in a single click.
Generic methodology for the verification of strong security properties in protocol implementations like Signal (Master’s Thesis)
Split! is an app for iOS and iPadOS, that allows a group of people to easily share expenses from a common receipt — Winner of WWDC22 Swift Student Challenge
Static taint analyzer for Ethereum smart contracts written in Solidity. Project done in ETH Zürich.