I mainly research topics related to computer architecture and programming language design and implementation. However, I have been working as an executive or business strategy consultant at several companies since before I go with them, maybe partly because the family of an entrepreneur. Therefore, I have a wide and deep perspective on the different elements of a software engineer, business strategy consultant, entrepreneur and investor. These assets are very powerful for any team working on a unique, massive and complex project.
Versatile and flexible, my domains of expertise include:
Computer science and technology:
Programming languages, semantics and verification
Graphics, vision and imaging science
Systems and networking
Robotics and automation
Management consulting and investment:
Strategic management and business decisions and behaviour analytics under extreme uncertainty
New business development and operation
OCaml - a functional, statically-typed programming language from the ML family, offering a powerful module system extending that of Standard ML and a feature-rich, class-based object system.
MirageOS - a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms.
Mastodon - a free, open-source social network server based on ActivityPub where users can follow friends and discover new ones.