I'm Brice Decaestecker

• 🔭 I’m currently working on:

  • Robotic solutions for surgery software at eCential Robotics

• 📫 You can reach me here on Github or on Linkedin

• 🌱 I would be curious to work on/with

  • functional languages
  • event-driven architectures
  • compilers / language design
  • network protocols and communication
  • embedded software
  • Any new context is an occasion to learn !

• ✨ Some coding challenge and learning I try to complete

  • Project Euler
  • Prolog P99
  • Coq LogicalFundation exercises