Mahieddine Dellabani.
As a freelance R&D software engineer, I specialize in database systems, concurrent and distributed systems, and formal methods with a keen focus on simulation and verification. With a knack for delving into complex technical landscapes, I thrive on architecting innovative solutions that push the boundaries of efficiency and reliability.
Outside of my professional endeavors, you'll often find me immersed in various leisure pursuits. Whether it's crafting intricate woodwork, tending to my flourishing vegetable garden, or orchestrating the soundscape as I manage a vibrant music label focused on vinyl releases, I embrace diverse passions that fuel my creativity. When not indulging in my hobbies, I'm out on the football field, or catching wave on the atlantic waves, drawing inspiration from its beauty to infuse into both my work and leisure pursuits
About me
R&D software enginner with strong technical skills. Autonomous, self-motivated and curious, but mostly not afraid of new challenges and eager to learn new technologies. Open minded, sociable and used to work in a multicultural collaborative environment. As an engineering manager, I strive at making a great product for both users and developers : Foster innovation, promote best practice and ensure engineers’ happiness.
- Location:Bahus-Soubiran, France
- Age:32
- Nationality:French / Algerian
- Interests:Football, Vinyl, Piano, Surf, Snorkling
- Employment:Freelance.
Work
R&D Software Engineer Freelance
My responsibilities are centered around our Model-Based Design (MBD) platform's simulation engine, involving benchmarking both the Java interpreter and the C++ simulation engine for optimal performance. The ultimate goal is to implement, test and deliver well-architected enhancements for optimal performance and great user experience. Additionally, I provide support to the team in building robust and high-quality software. I actively explore formal modeling technologies to design and develop trustworthy software solutions, contributing to our team's ongoing success in achieving the company's objectives.
- Keywords: Formal Methods, Verification, Concurent System, Simulation
Open Contributor
In addition to my professional and leisure pursuits, I'm an enthusiastic contributor to SquashQL. Passionate about advancing the realm of database technologies, I actively participate in refining and enhancing its capabilities, collaborating with fellow developers to drive innovation and foster a thriving community dedicated to empowering users with robust and efficient data management solutions.
- Keywords: SquashQL, SQL, Cloud DB
Technical Lead
- - Product Development: Design, build, test and deploy of Atoti Java API capabilities: Aggregation engine, real-time updates, distributed computing, MDX querying
- - Monitoring: Involved in enhancements and implementations of Atoti Application Performance Monitoring stack: Tracing, metrics and logs. Stack: Zipkin, Logstash, Grafana, Prometheus, Docker
- - L2 Support : Solving performance issues and help the clients using the APIs
- - Internship and university project supervisor : Maximize the impact of new JDK capabilities in Atoti Java API (project Loom and Panama)
- Keywords: In-Memory, Distributed System, Monitoring, REST, MDX, OLAP
R&D Software Engineering
INGILAB is the Innovation Lab and POC Factory of INGIMA. It aims at proposing new possibilities via its motto "explore by doing". As part of INGILAB I worked on research studies and proof of concept in several fields (image processing, machine learning, embedded systems, etc.)
Full Time Researcher (PhD)
Teaching Fellow
- Introduction to Excel (Freshmen)
- Introduction to Relation Databases (Sophomore)
Education
PhD in Computer Science and Mathematics
My thesis was oriented around the design, optimization and validation of distributed real-time application for embedded systems. Particularly, it focuses on the use of formal methods to solve problems related to the distributed real-time environment (communication delay, optimization issues, clock drift).
Keywords: Formal methods, model based development, timed automata, compiler, verification.
Exchange Student in Computer Engineering
Main subjects: Advanced Computer Architecture, Reconfigurable Systems, Distributed Software Development.
Engineering Diploma - Embedded Software and Systems
Main subjects: Mathematics, Programming, Operational Research, Operat- ing Systems, Real-Time Embedded Systems, Hardware Design.
Thesis: Vectorization of compression algorithms using SIMD instructions. Realtors: Prof. S. Viardot, Ing. R. Schulze, Dr. T. Willhalm. Thesis activity carried out during the final year project at SAP SE
Skills
Get in touch.
- Location
- Saint-Médard, France
- Github
- mdellabani