Maxime Gamboni

[Research] | Curriculum Vitæ | [Software] | [Novels & Short Stories] | [Zen Code]
As a software architect I invent and design robust software foundations that are highly performing and easy to use by business layer developers. I build them so that:
I am looking for a position where I will be trusted to find deceivingly simple solutions to complex software engineering problems.
Please hover on italicised words below to see how I apply this philosophy in my daily work.
Java
Typescript
Javascript
PHP
C++
SDL
Scala
Databases
Oracle
SAP HANA
Frontend
GWT
Angular
Banking
Insurance
Government
Transportation
Professional Experience
Education
Professional Experience & Education
Education
PhD
EPFL
PhD, Instituto Superior Técnico (UTL/IST Lisbon, Portugal)
LICS'09: 9th Sym­posium "Logic in Computer Science"
FOSAD'06: 6th In­ter­na­tional School on Found­a­tions of Se­cur­ity Ana­lysis and Design
FOSAD'05: 5th In­ter­na­tional School on Found­a­tions of Se­cur­ity Ana­lysis and Design
Computer Science Engineering Diploma (Master’s Degree)
Baccalaureate ès Science
Projects & Publications
Can we Have Zen WET Code?
Shearing Layers
Three Zen Code articles
Zen in the Guava Event Bus
Eight Zen Code articles
3D "breakout" game in C++
Statically Pro­ving Beha­vioural Pro­perties in the π-calculus via De­pend­ency Ana­lysis
Responsive Choice in Mo­bile Pro­cesses
Automatic mu­sic page turner software in C++
Activeness and Re­spons­ive­ness in Mo­bile Pro­cesses
3D car racing game in C++
3D "push-over" remake in C++
What is TyCO?
Member of DisCoTec’09 Organising Committee
ELCA
Backend sales and accounting system for point of sale transport
Reusable
Four projects company-wide are using it, and number is growing
 Java/SQL/Typescript code generation system
Business Analyst maintains model in a Java DSL type-checked by the compiler. Java, SQL and Typescript code is generated and kept up to date automatically.
Vietnam
Event man­age­ment system. Dynamic online forms
Visibility of fields and whether they are mandatory may depend on values of other fields or the nature of the business event being processed. A single specification is used for back and front-end validation, actual form rendering in the browser and live update of affected fields as user enters data.
 specified in a Java DSL insurance
Distributed asyn­chron­ous task scheduling;
Long running financial calculations are placed in a queue. Each node in the cluster consume tasks in parallel while guaranteeing that tasks working on the same entities are executed sequentially.
 im­ple­ment­a­tion of fin­an­cial calculations for a trade finance tool bank
Ext Scheduler in­teg­ra­tion; Alert calculator
Laws and regulations constraining how activities can be assigned to people are described implicitly in plain Java code; the underlying framework transparently rewrites database queries to recalculate relevant violation upon changes done in the scheduler.
 government
Robust
My design guarantees that only permitted transitions may be taken by state handling code
 state machine frame­work for document workflow system bank
Data migration,
Business logic is implemented in natural Java code. High performance is obtained by automatically multiplexing queries of nearby rows
 code reviews
Coaching and daily review of code written by team members
 government
Theoretical conception of a publishing system for “intelligent” websites
Assistant of Pr. Zahnd: Auto­mata & Calculability
Assistant of Pr. Odersky: Scala & Compilation
Assistant of Pr. Guerraoui: Java, SmallTalk
Design and implementation of the electronic ticketing system “FreeSeat”
Assistant of Pr. Strohmeier: Ada
Distributed search engine design and prototype.
Languages
Vietnamese (conversation)
Portuguese (fluent)
Hindi (conversation)
English (fluent)
German (intermediate)
French (mother tongue)
Finnish (mother tongue)
mobile
narrow
wide