Aloïs Cochard

Passionate Hacker

I’m a software engineer with a strong passion for functional programming languages, type theory and neural networks architecture. In the past, I have contributed to a bunch of open source projects and have also maintained my owns, you can find them on my GitHub account.

My hobby includes playing music, learning about computer security and writing video games.

Skills & Interests

  • Artificial General Intelligence
  • Programming Languages
  • Type Theory
  • Category Theory
  • Concurrency and Parallelism
  • Distributed Computing
  • Formal Methods

Talks

  • The Tale of Troy (Functional Conf - Nov 2017) < video / slides >
  • Welcome to the Machines (Functional Conf - Nov 2016) < video / slides >
  • The Unreasonable Effectiveness of Erasure (LamdaConf - Sep 2016) < video >
  • Introduction to Scalaz (Scala Romandie - Mars 2015) < slides >
  • A gentle introduction to DSL design in Scala (FunctionalMedia - Mars 2014) < slides >
  • One API to rule them all (ScalaDays 2013) < video >

Social / GitHub / Matrix

http://twitter.com/aloiscochard http://ch.linkedin.com/in/aloiscochard https://functional.cafe/@alois http://github.com/aloiscochard

You can find me on matrix: @ac:kokol.ch

Experience

2022 - Present

Tweag/Modus Create - www.tweag.io/moduscreate.com

Open Source Consultant for the buck2 project

2021 - 2022

Tweag - www.tweag.io

Consultant working mainly on the infrastructure of an autonomous vehicle innovation lab.

2017 - 2019

Swisscom - swisscom.ch

Design and implementation of the Big Data-Mobility Insights Platform at the Data Analytics and AI department

2014 - 2017

Bestmile - bestmile.com

Design and implementation of a cloud platform for the operation and optimization of autonomous vehicles

  • Design and implementation of the core platform (Scala, PostgreSQL, Kafka)

2013 - 2014

Time Out - timeout.com

Design and implementation of the global platform for editorial content managment

  • Design and implementation of the public API (Spray, Solr, Slick)
  • Migration of the internal web services platform to a new Scala stack
  • Implementation of miscellaneous internal web services

2012 - 2013

OpenCredo

Design and implementation of a web service for a community oriented review system

  • Migration from graph database to NoSQL storage (Neo4j, Cassandra)
  • Design and implementation of a web service to query/command data model (Play! Framework, RabbitMQ)

2011 - 2012

Immunizer SA

Design and implementation of a mutualized electronic commerce platform

  • Implementation of miscellaneous features inside backend (Cassandra, Lift)

2008 - 2011

Philip Morris International - R&D

Design and implementation of a semantic search engine and text analytics framework

  • Design and implementation of the search engine (Lucene, NoSQL)
  • Design and implementation of the distributed batch processing framework (Spring Batch, GridGain)
  • Implementation of miscellaneous features for the text analytics framework
  • Prototyping of distributed database/cache architectures (Hadoop, Terracotta, Coherence)

2004 - 2008

Business Software SA

  • Design and implementation of an ERP (Enterprise Resource Planning) system
  • Design and implementation of an ECM (Electronic Content Managment) system

Education

2000 - 2004

EPSIC Lausanne

  • CFC Computer Engineer

Hobby

  • Designing compiler and programming languages
  • Playing acoustic musical instrument
  • Sound synthesis and electronic music production