Skip to content
View smelc's full-sized avatar
🚀
🚀

Block or report smelc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
smelc/README.md

Hello 👋 My name is Clément and I live in the beautiful city of Nancy, France 🇫🇷

I started my career with a Ph.D thesis on Verification of object-oriented programs with linear logic. Then I was on the engineering team when Prove & Run started. At Prove & Run, I co-authored a compiler and prover for a C-like functional programming language (yes! Think C without pointer and where = is deep copy 🤯). This was the time I discovered that I am a software engineering leader: I inspire people and create teams and processes that deliver.

I love explaining technical content to my fellows. For example, I'm still pretty proud of this paper on parallelizing programs by rewriting their linear proofs. At Tweag my job allowed me to talk publicly about my professional interests, for example I wrote about:

  1. Building Haskell programs with Bazel
  2. Monads in OCaml
  3. Python Monorepos. This one is #1 for Google's search for "python monorepo" 👑

I pitch the technologies I love to C-levels, for example with this case study of my work for a healthcare scale-up or when I presented at Modus Create's Developer Productivity Days. I love contributing to the company's strategy, understanding its constraints and trajectory, to drive the product and energize the teams accordingly.

At Modus Create (the company that acquired Tweag), I am the Director of the Functional Engineering Department. I participate in hiring, consultants allocation, career paths, salary reviews, and sales activities. I oversee the growth of the software engineers in my department and support the tech leads on client projects. In parallel, I work as a Staff Software Engineer for clients 🧑‍💻

Pinned Loading

  1. miso-darkcraw miso-darkcraw Public

    Card game using Haskell miso

    Haskell 7 2

  2. kcg kcg Public

    Trial at a strategy card game using Kotlin and korge

    Kotlin 6

  3. zzbot zzbot Public

    flexible shell commands executor

    Haskell 2 1

  4. gdx-gamejolt gdx-gamejolt Public archive

    An implementation of GameJolt's API (http://gamejolt.com/api/doc/game) that uses libgdx to send HTTP requests.

    Java

  5. exdown exdown Public

    Forked from nschloe/pytest-codeblocks

    Extract code blocks from markdown files

    Python

  6. tn-fp-haskell-course tn-fp-haskell-course Public

    Functional Programming course for Telecom Nancy, using Haskell

    Haskell 6 1