Tom Sydney Kerckhove [email protected] Technical Leader, Engineering Manager, Speaker https://cs-syd.eu

Disclaimer

‘is CV is designed to be read by recruiters, headhunters and non-technical parties. ‘ere is also technical CV at https://cs-syd.eu/cv.

Keywords and Technologies

So ware, Development, Safety, Security, Back-end, Haskell, Reliability, Robustness AWS EC2, AWS S3, AWS SNS, Android, Arduino, Assembly, Azure, BLAS, Beamer, Bitbucket, , C++, CSS, Cassius, Eifel, , , GPG, Git, Github, Gitlab, Go, HTML, Hadoop MapReduce, Hakyll, Hamlet, Haskell, Hledger, Hydra, Java, Javascript, Julius, Keycloak, Kubernetes, LAPACK, LaTeX, Lisp, Lua, Matlab, MySQL, Nginx, Nix, NixOps, NixOs, Octave, PHP, Pandoc, PostgreSQL, , Purescript, Python, ickCheck, ickSpec, , Ruby, Rust, SBV, SQL, SQLite, Scala, Scikit-learn, Selenium, Servant, Shell, Spacemacs, Tamarin, Terraform, VB.Net, , Yesod, Z3

Experience

Technical Leader and Engineering Manager — FP Complete Remote, Zuerich, CH 2017-09 - present Founder and Consultant — CS Kerckhove Remote 2016-12 - present External examinator: OpenAPI and Stripe — HSR Rapperswil, CH 2020-02 - 2020-06 Technical Writer — Human Readable Magazine Remote 2019-12 - 2020-02 External examinator: Codepanorama — HSR Rapperswil, CH 2019-11 - 2020-01 Mentor — Google Summer of Code (volunteer) Remote, Zuerich, CH 2018-04 - 2018-08 Research Assistant; — ETH Zuerich Zuerich, CH 2017-06 - 2017-09 Teaching Assistant: Functional Programming — ETH Zuerich Zuerich, CH 2017-02 - 2017-04 So ware Engineering Intern — Facebook London, UK 2016-06 - 2016-09 Mentor — Haskell Summer of Code - haskell.org (volunteer) Remote 2016-06 - 2016-09 Teaching Assistant: Functional Programming and Formal Methods — ETH Zuerich Zuerich, CH 2016-02 - 2016-06 Teacher / Coach — CS SYD (volunteer) Remote 2016-02 - 2016-06 So ware Engineering Intern — Google London, UK 2015-06 - 2015-09 Robotics Research Intern — KU Leuven Leuven, BE 2014-07 - 2014-09 Board Member — Sagio (volunteer) Leuven, BE 2013-09 - 2013-12

Education

Master of Engineering — ETH Zuerich 2016-09-21 - 2017-09-07 Focus: Safety Erasmus Exchange — ETH Zuerich 2015-09-14 - 2016-06-03 Won the only nomination Bachelor of Science — KU Leuven 2012-09-25 - 2015-06-19 Focus: Abstract Mathematics

Products

CS SYD: Personal blog, website, landing pages https://cs-syd.eu Haskell, Nix, NixOps, Yesod, Bulma • over 1000 monthly active readers • more than 100 technical and non-technical blogposts

Smos: Comprehensive Self-management System https://smos.online Haskell, Nix, NixOps, Sydtest, ickCheck, Validity, Yesod, Servant, Brick, Bulma • A web UI, API server, TUI, CLI and library • Principal part of CS SYD self-magement training: https://cs-syd.eu/ self-management

Intray: Getting ‡ings Done capture tool https://intray.eu Haskell, Nix, NixOps, Sydtest, Yesod, Servant, Semantic UI • Succesfully monetised using Stripe • Custom API-based integrations for use as a personal noti€cation service

Haskell Templates by CS SYD: Paid starting points https://templates.cs-syd.eu Haskell, Nix, NixOps, hspec, Yesod, Servant, Semantic UI • Succesfully monetised using Stripe

Speaking

I love to speak at conferences, corporate events, and online. You can €nd more info at https://cs-syd.eu/speaking or on youtube: https://www.youtube.com/results?search_query=tom+sydney+kerckhove. (If you are reading this document on a computer, you can click these urls to open them in your browser.)

Languages

English Fluent Dutch Native Speaker German Conversational French Basic words and phrases