Çağdaş Bozman

I am

About Me

With a Ph.D. in computer science from Polytechnique, a rich background as an R&D engineer and CTO in IT companies, I am a leading expert in OCaml and programming languages. My solid technical skills are complemented by a strong entrepreneurial spirit, rooted in his upbringing in a family of business owners.

As the CEO of Functori, I try to balance my responsibilities in overseeing the team and engaging with clients, while maintaining a hands-on approach to the technical aspects of the business. My involvement in development, design, code review, and smart contract auditing showcases my dedication to delivering top-quality solutions. My combination of business insight and technical expertise enables me to drive strategic decision-making and planning, positioning Functori for continued success in a competitive landscape.

I am also the co-founder and COO of Mosaic Labs, a company that is specialized in decentralized finance, and CTO of Fraktion, a company that leading the charge in tokenizing real estate, of which we became partner with Functori and accompany since the beginning of the project.

CEO, COO & CTO

  • Website: www.functori.com
  • City: Paris, France
  • Degree: PhD.
  • Email: cagdas [ at ] functori.com

Based in Paris, I am constantly engaged in pushing the boundaries of what's possible in the realms of decentralized finance, real estate tokenization, and advanced programming languages. My work is not just about leading companies but also about creating ecosystems where technology and business growth go hand in hand.

For more insights into my professional journey and current projects, feel free to explore Functori's website. I welcome collaboration and conversation, so don't hesitate to reach out to me for any inquiries or opportunities.

Resume

Sumary

Çağdaş Bozman

As President of Functori, I orchestrate the company's operations, navigating the multifaceted roles of project leadership, sales, and marketing with a strategic hand. I manage legal and HR matters, ensuring our organizational framework supports our dynamic team and business objectives. My active participation in development and code reviews keeps me intimately connected to the technical heart of our enterprise, maintaining a crucial balance between technical acumen and business strategy. This dual focus underpins our tailored, high-caliber solutions and drives Functori's trajectory in a competitive field.

  • 25 rue Tolbiac, 75013, Paris
  • cagdas.bozman [ at ] functori.com

Education

PhD. in Computer Science

2011 - 2014

École Polytechnique with Highly Honorable Mention

Master's Degree in Computer Engineering

2009 - 2011

University Paris Cité, with High Honors

Bachelor's Degree in General Computer Science

2006 - 2009

University Paris Cité, with Honors

Science Baccalaureate

2003 - 2006

Lycée Jean-Baptiste Corot

Work Experience

Co-Founder & Chief Executive Officer

2021 - Present
Functori, Paris

Associate & Chief Technical Officer

2022 - Present
Fraktion, Paris

Co-Founder & Chief Operating Officer

2022 - 2023
Mosaic Labs, Paris

Chief Technical Officer

2019 - 2021
Origin Labs, Paris

Senior Research and Development Engineer

2014 - 2019
OCamlPro, Paris

Teaching Assistant for Computer Science Tutorials and Labs

2012 - 2015
ENSTA Paritech, Palaiseau

PhD. Student

2011 - 2014
ENSTA & OCamlPro, Paris

Research and Development Intern

Apr.-Sept. 2011
Dassault Systems, Grenoble

Research and Development Intern

June-Sept. 2010
PPS Laboratory (University Pari Cité), Paris

Publications

JFLA
2022

Jouez à Faire Consensus Avec Mitten. Çagdas Bozman, Mohamed Iguernlala, Michael Laporte, Maxime Levillain, Alain Mebsout, Sylvain Conchon. Saint-Médard-d’Excideuil, France

FMBC
2021

Formally Documenting Tenderbake. Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout.

JFLA
2019

Learn-OCaml : un assistant à l'enseignement d'OCaml. Çagdas Bozman, Benjamin Canou, Roberto Di Cosmo, Pierrick Couderc, Louis Gesbert, Grégoire Henry, Fabrice Le Fessant, Michel Mauny, Carine Morel, Loïc Peyrot, Yann Regis-Gianas. Les Rousses, France

JFLA
2018

Liquidity: OCaml pour la Blockchain. Çagdas Bozman, Mohamed Iguernlala, Michael Laporte, Fabrice Le Fessant, Alain Mebsout. Journées Francophones des Langages Applicatifs 2018. Banyuls-Sur-Mer, France.

OCaml Workshop
2017

Tezos: The OCaml Crypto-Ledger. Benjamin Canou, Grégoire Henry, Pierre Chambart, Fabrice Le Fessant, Çagdas Bozman, Vincent Bernardoff, Guillem Rieu, Mohamed Iguernlala, Alain Mebsout, Arthur Breitman. OCaml Workshop 2017. Oxford, UK.

JFLA 2019
2016

Sous le capot du MOOC OCaml Benjamin Canou, Çagdas Bozman, and Grégoire Henry. Journées Francophones des Langages Applicatifs 2016. Saint-Malo, France.

OCaml Workshop
2016

ocp-lint, A Plugin-based Style-Checker with Semantic Patches.Çagdas Bozman, Théophane Huffschmitt, Michael Laporte, Fabrice Le Fessant. OCaml Users and Developers Workshop 2016. Nara, Japan

JFLA
2015

ocp-memprof: un profileur mémoire pour OCaml. Çagdas Bozman, Grégoire Henry, Mohamed Iguernelala, Fabrice Le Fessant, and Michel Mauny. Journées Francophones des Langages Applicatifs 2015. Val d’Ajol, France.

PhD. Thesis
2014

Profilage mémoire d’applications OCaml Çagdas Bozman. École Polytechnique. Palaiseau

OCaml Workshop
2013

Profiling the memory Usage of OCaml applications without changing their Behavior. Çagdas Bozman, Michel Mauny, Fabrice Le Fessant, and Thomas Gazagnaire. OCaml Users and Developers Workshop 2013. Boston, USA.

OCaml Workshop
2012

Study of OCaml programs’ memory behavior. Çagdas Bozman, Michel Mauny, Fabrice Le Fessant, and Thomas Gazagnaire. OCaml Users and Developers Workshop 2012. Copenhagen, Denmark.

Technical Paper
2010

Converting Eclipse metadata into CUDF Çagdas Bozman, Roberto Di Cosmo, and Pietro Abate. Paris, France.

Open Source Software

Factori

https://factori.app
Factori is a key Tezos dApps development framework. It is designed around the needs of Tezos smart contract & dApp developers based on our long experience in this domain. Factori’s mantra is low code. Its primary goal is to automate, as much as possible, boiler- plate code generation so that you can focus on writing, testing, and deploying your smart contracts.

Tezos

https://tezos.com
Tezos is a proof of stake blockchain with on-chain governance with protocol amend- ments. Tezos also serves as a consensus layer for L2 applications though a system of enshrined optimistic rollups which can execute WASM code such as a version of the EVM.

Learn OCaml

https://ocaml.org/play
LearnOCaml is a platform for learning the OCaml language, featuring a Web toplevel, an exercise environment, and a directory of lessons and tutorials.

Tzscan

https://tzscan.io
TzScan was a block explorer for the Tezos blockchain.

Opam

https://ocaml.org/packages
OPAM is a source-based package manager for OCaml. It supports multiple simultane- ous compiler installations, flexible package constraints, and a Git-friendly development workflow.

ezjs is a collection of useful libraries to work with js_of_ocaml.

EzAPI is a collection of libraries and tools to handle APIs that can be installed with opam.

ocp-lint, the OCaml Style Checker is a tool for OCaml sources. It allows to automatically check the conformance of your code to some coding rules. ocp-lint is highly configurable and easily extensible.

Skills

My professional journey has been characterized by a continuous acquisition and refinement of a diverse set of skills, pivotal in the realms of technology, business, and leadership. This skill set is not merely a reflection of my academic and professional milestones, but also of my ongoing dedication to personal and professional growth. Here's an overview of key competencies that I bring to my roles as CEO, COO, and CTO:

Leadership & Management

Management, Strategy, Financial, Coordination

HR, Commercial, Communication, Accounting

Design/Architecture, Lead team of devs, Partnership

Technical Skills

Languages: OCaml, Rust, Scala, TypeScript, C

Web: Frontend & Backend: VueJS, Bootstrap, NodeJS

Tools: Emacs, Vs Code, Latex, Git

Techniques: Formal Methods, Compilation, DSL, Blockchains, Smart Contracts, Devops

Industry Expertise

Decentralized Finance

Real Estate Tokenization

Cyber Security

Languages

French & Turkish: Native

English: Fluent

Kurdish: Spoken

German: Basic