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