I'm a dedicated computer scientist with a strong background in both theory and practical application. With a Ph.D. from École Polytechnique, I've specialized in leveraging foundational principles for programming languages, including designing efficient call-by-need functional languages and implementing complete compiler pipelines.My journey led me next to contribute to smart contracts for the Cardano blockchain as a lead Haskell developer with the Plank team. Equipped with industry-level programming skills, I'm now driven to join dynamic teams working on cutting-edge projects. Let's connect and innovate together.
-
Blockchain And Rust DeveloperMaestroArgentina -
Blockchain / Rust DeveloperMaestro Sep 2024 - PresentArgentinaDeveloper of blockchain data indexing and the corresponding APIs -
Blockchain / Rust DeveloperTxpipe Jul 2023 - Aug 2024ArgentinaResponsible for block validation features for the Dolos open-source Cardano blockchain node. Responsible for the migration of the Cardano node to the Rust programming language. -
Blockchain / Functional Programming DeveloperPlank Jul 2021 - Jun 2023San Francisco, California, United StatesMain Haskell developer in multiple smart contracts for the Cardano blockchain of varied nature: auctions, staking pools, liquidity pools. I was involved in all the development phases, from requirements analysis, to architecturing, designing and implementing, to testing (unit, property and integration) and even deployment.Later on, as the complexity of the contracts grew, I began leading junior devs and coordinating our efforts towards our goals. During that same time, I co-lead the re-structuring of our development process, moving from one with a rather experimental/exploratory feel to it, to one where PoC smart contracts could be developed within a few weeks, and full-fledged ones in a matter of only a couple of months.
Maico Leberle Skills
Maico Leberle Education Details
-
Computer Science -
Computer Science
Frequently Asked Questions about Maico Leberle
What company does Maico Leberle work for?
Maico Leberle works for Maestro
What is Maico Leberle's role at the current company?
Maico Leberle's current role is Blockchain and Rust developer.
What schools did Maico Leberle attend?
Maico Leberle attended École Polytechnique, Universidad Nacional De Córdoba.
What skills is Maico Leberle known for?
Maico Leberle has skills like Functional Programming, Api Development, Software Design, Git, Subversion, Linux, Object Oriented Programming, Software Architecture, Swagger Api, Agile Methodologies, Haskell, Slack.
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial