cv

Functional programming consultant

EF Grant Contractor @ Cybercat

Worked on the integration between the OpenGame Engine and Ethereum's HEVM library and ACT programming language.

• Haskell
• Compiler engineering
• Applied category theory

Functional programming consultant

Contractor @ Begroup

Worked on a domain-specific language for contracts in Haskell inspired by Poly, the category of polynomial functors.

• Compiler engineering
• Dependent types
• Applied category theory

Functional programming consultant

EF Grant Contractor @ Statebox

Hired to deliver on the Ethereum Foundation grant to improve the developer experience of the Open Game Engine. Wrote the front end parser, the template haskell backend and provided support for better error messages.

• Haskell
• Compiler engineering
• Applied category theory

Software engineer

Statebox

Maintainer for Typedefs, a programming language to describe types and generate serialisers and deserialisers for multiple languages. Author of multibase and multihash for Idris, collaborated on idris-ct, a library for category theory in Idris.

• Idris
• Purescript
• Applied category theory

Backend Developer

Bity SA

Lead a small team to develop new microservices in Haskell to provide a formal method approach to banking services. Trained staff and interns on the new stack and developed processes and documentation for haskell development.

• Haskell
• Microservices
• Management

Mobile Developer

Self-Employed

Worked as a consultant for private customers on iOS mobile applications. During that time I specialised in delivery and service apps like Uber clones.

• iOS
• Swift
• Objective-C
• Mobile development

Mobile Developer

Sicpa SA

Maintained a number of internal libraries, lead the team toward a UI/UX redesign, acted as a point of contact with the team in Spain, developped B2B products, worked on embedded bluetooth systems.

• iOS
• Swift
• Objective-C
• C
• Mobile Development

Computer Programming Teacher

Techspark Academy

Taught mobile-app developement for kids, ages 12-18 during a summer camp. We taught swift, basics concepts of variables, loops, recursion and graphic design.

• iOS
• Swift
• Mobile Development
• Game Development

Programming Intern

Kabotip

Worked on microservices for an online tipping platform.

• Clojure
• Redis
• APNS

Software engineer

Dischan Media

Port a game engine from iOS to Android using LibGDX.

• Java
• LibGDX
• UX
• QA

Robotics teacher

Creative Studios

Teach robotics for kids age 8-14, at a summer camp using the Lego Mindstorm and WeDo platform.

• Lego
• Mindstorm
• Robotics
• Teaching

Student representative

SPLI

Strathclyde Student representative for SPLI, an organisation aimed at bringing together students and institutions across scotland.

• SPLI PhD Induction 2022

Organiser

Idris Developer Meeting

Managed and organised the Idris developer meetings. Coordinated participants online, setup schedules, talks and events, handled social media and announcements, coordinated with aborad university for international collaboration, etc.

• Idris developer meeting Aug 2023 (Zurich)
• Idris developer meeting Dec 2022 (St-Andrews)
• Idris developer meeting May 2022 (Online)
• Idris developer meeting Dec 2021 (Online)
• Idris Community talks (Online)

Student Ambassador

NPL, PGI

Helped organise in-person and online events, designed new processes for knowledge management and transfer

Organiser

SPLS

Organised SPLS online in 2021. Handled the programme, registration, speakers, moderation, social media, etc

Class representative

EPFL

Class representative of the first years computer science class in 2012. Represented a cohort of 250 students, engaged in collaboration with the school's direction and AGEPoly

Presenter

EPFL - Centre Roberta

Teaching robotics using the LEGO mindstorm platform to kids between the age of 10 to 14

Customisable binder syntax for dependently-typed programming languages

WITS

Binders in dependently-typed programming are especially important due to types such as Σ : (a : Type) -> (a -> Type) -> Type and Π : (a : Type) -> (a -> Type) -> Type. This work-in-progress in the Idris compiler aims to bring the ergonomic benefits of custom binders brought by arbitrary syntax extension, while keeping the grammar fixed in order to provide bespoke quality error messages.

Lenses for Composable Servers

Arxiv

We implement the semantics of server operations using parameterised lenses. They allow us to define endpoints and extend them using classical lens composition. The parameterised nature of lenses models state updates while the lens laws mimic properties expected from HTTP. This first approach to server development is extended to use dependent parameterised lenses. An upgrade necessary to model not only endpoints, but entire servers, unlocking the ability to compose them together.