I'm Brice Decaestecker, a software enthusiast with a particular interest on testing methodologies

• 🔭 I’m currently working on:

  • Robotic solutions for bone surgery at eCential Robotics

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

• 🌱 I would be curious to work on/with

  • compilers / language design
  • formal methods and testing harnesses
  • network protocols and communication
  • embedded software
  • Any new context is an occasion to learn, and beside technologies and intellectual emulation I'd like to work on any software that is of actual use and improving human beings' life

• ✨ Some coding challenge and learning I try to complete

  • Project Euler
  • Prolog P99
  • Rocq LogicalFundation exercises