Seeking a team of professional software engineers?
Need to delegate the implementation of your boldest ideas?
Interested in scientific software?
Hmmm… You are in the right place!
“Don’t ever take a fence down until you know why it was put up.”
“The job of formal methods is to elucidate the assumptions upon which formal correctness depends.”