https://dream.weekday.works/redirectToHiringCopilotExtension/

Element is the company behind Matrix, the secure and decentralized communication network used by governments, institutions, private companies and open-source communities around the world. The Trust & Safety team develops tools and strategies to combat abuse, from bullying to spam and disinformation.

Owner/Main dev for Project Minotaur (~90%). Privacy-respecting monitor for spam, distributed spam, abuse on federated networks, in Rust.

Owner/Main dev for Project Carlotta (~80%). Monitoring and investigation tool for for spam, abuse on federated networks, in Rust and TypeScript.

Owner/Main dev for Project Fletcher (~100%). Protocol and end-user-facing implementation of distributed/decentralized abuse reporting and moderation for federated networks, in Rust.

Owner/Main dev for Project Varunastra (~60%). Real-time reprogrammable firewall against abuse in federated networks, in Python.

Owner/Main dev for mx-tester (~80%). Tool for local/CI testing prototypes of servers, server extensions, bots and clients for Matrix networks, in Rust.

Co-owner/Dev for Mjölnir (~30%). End-user-facing bot for moderation on federated networks, in TypeScript.

Dev/Reviewer for Project Mjölnir-for-all (~30%). End-user-facing tool for distributed/decentralized moderation and distributed reputation on federated networks, in TypeScript.

Contributor to Synapse. The reference server for the Matrix federation protocol. Worked on error-handling, user throttling, spam-filtering, APIs, in Python.

Contributor to Element Web. The main user-facing client for Matrix. Worked on UX for abuse reporting, hiding messages pending review, rejecting spam, ..., in TypeScript.

Also, tools for testing, stress-testing, ...

Author of a dozen proposals for standardization regarding privacy, moderation, error handling, preference storage, decentralization of responsibilities, ...

Technologies: Matrix, Distributed Programming, Rust, TypeScript, Python, Kubernetes.

Element ID is designer of software, hardware and reseller of a range of RFID solutions. Company has developed a way of combining RFID middle ware and RFID reader hardware into the same device thus reducing the cost. Products include RFID industrial portal, RFID read station, handheld barcode RFID, RFID wall mount portal etc for use in ware manageme

Provider of management and consulting services for retirement communities

Tech Lead for a consortium of 4 organizations (Mozilla, Facebook, Bloomberg, Cloudflare) on project BinAST, a novel protocol / compression mechanism / set of safety guarantees designed to speed up the loading of JavaScript source code.

Also working on the Fission effort to redesign Firefox for improved system-level security. This is a project across the entire organization. Owner for performance reporting and the JSProcessActor multi-process architecture.

Provider of a generic web browser app. Its features include ad blocking, private and safe browsing, night mode, add-ons, widgets, picture-in-picture mode, and more. Its app is available across both Android and iOS platforms.

Developing quick-fire prototypes for Mozilla's Connected Devices initiative.

Developer, tech lead for Project Link prototype (~15%). An operating system for the Smart Home, based on Raspbian. In charge of the SmartHome core and API as well as the scripting mechanism. Delivered prototype 1 and prototype 2, which covered motion detection, door control, camera control, video streaming, remote connection, text-to-speech interface. Project completed, didn't get proceed-to-market greenlight.

Developer/research for Project Sentry prototype (~50%). A smart monitor for the house, with semi-real-time analysis of video feeds. Delivered prototype 1, which covered video streaming. Didn't get proceed-to-market greenlight.

Developer/research for Project Lighthouse prototype (~40%). A wearable designed to help blind users interact with hard-to-recognize objects and written text. In charge of video-to-text analysis, extraction of objects of interest. Delivered prototype 1 and prototype 2. Waiting for greenlight to release latest version of prototype 3 for early testers.

Single developer/research for Project SmartHomePhone prototype. A tool designed to make smart phones more usable in tomorrow's houses. Project waiting until there is an organization to support it.

Early research/experiments for Project Lil' Robot. A robot to teach programming. Project waiting until there is an organization to support it.

Member of the Performance team. We are here to ensure that Firefox, Thunderbird and the rest of the Mozilla ecosystem are lean and fast.

Serving as tech lead for I/O related tasks.

Owner and main developer of Performance Monitoring (C++/JS): providing add-on, front-end and back-end developers with tools to monitor the performance of Firefox, its webpages and its add-ons, in real-time. Providing users with a summary of performance.

Owner and main developer of Async Shutdown (C++/JS/HTML5): providing add-on, front-end and back-end developer with tools to properly handle dynamic dependencies between services during shutdown, debug dependency errors, monitor shutdown performance, monitor shutdown crash report. Tools are now used by most of the front-end modules of Firefox, and a number of back-end modules, with more being ported.

Owner and main developer of OS.File(C/C++/JS): providing add-on and front-end developers with a simple library for performing cross-platform, low-level, non-blocking, battery-efficient, off main thread file I/O. All recent front-end code in Firefox now uses the library, and most of the older code has been ported or is being ported to OS.File.

Part (~20%) of the Places Task Force (C++/JS): refactoring the module in charge of maintaining the set of bookmarks, history, annotations, keywords, to improve responsiveness, documentation and maintenability.

Part (~50%) of the Session Restore Task Force (JS) (now complete): refactoring the module in charge of saving the state of Firefox in case of crashes, to improve responsiveness, start-up time, battery use, safety, as well as documentation and maintenability.

Lead (~70%) for Project Async (C++/JS) (now complete): providing front-end and add-on developers with tooling, to write and test simple non-blocking code (off-main thread when possible). Tools are now used pervasively in Firefox.

Acting as Technological Evangelist for the Opa platform.

The Opa platform is a high-level tierless programming language for the web, designed for high performance and unmatched security.

Also in charge of patents, licenses and Intellectual Property management.

Also in charge of documentation, tutorials, marketing material, community management.

Keywords: Web 2.0, Developer experience.

Leading several R&D groups working on a novel web development platform, designed for next-generation web applications. Architect-in-chief for the platform, technological manager for several groups.

Also in charge of Research-related bids.

Also in charge of formations (internal and external), support, coaching.

Keywords: Web 2.0, SaaS, Security, Safety, Scalability, Agile development , Scrum, Ajax, Comet, Compiler, Subventions, W3C.

Teaching programming, compilers, web technologies, Research in system security, web security. Creation of security analysis tools for Linux, Web applications.

Keywords: Open-source, Linux Kernel, SELinux, Mozilla platform, ECMA, Java, JavaScript, OCaml, C++, XUL.

Research in the domain of Pervasives Computing. Design of methods for certifying security properties of web or distributed applications. Also in charge of workgroups.

Keywords: Security guarantees, Distributed  programming, Sensor networks, Online identity, Pi-calculus, Denial-of-Service, Garbage-collection.

Research in the domain of theory of distribution, focused on methods for controlling and certifying use of resources available to the network.

Keywords: International publications, Administrative duties, Associative duties, Research in Yale, Research in Stanford, Start-up experience, Robotics, Process algebras, Type systems

As a teenager, sole/core developer of successive versions of Lector, one of the pioneer software e-Book readers. In 1993, Lector became the reader for the first ever e-Books commercially distributed on the web.

Author of OpenBerg Reader, the first released software for reading epub publications (then named OEBPS).