Present​

• Brian Bush is definitely joining the team, as is Yves Hauser in the capacity of Formal Method engineer
  • Yves has already done some work in modeling network performance and already started learning Agda within the Marlowe team
• Artjoms Sinkarovs passed on our hiring proposal and accepted another offer
• David Rosales has been appointed as Head of Delivery for Innovation projects and he’s been updated on the current status of Peras
• Writing a SoW with Quviq to involve them as consultants for our Model-Based Testing approach to specifying protocol and verifying implementation

Future​

• Complete Quviq’s SoW and file a ticket with Flow Office and Procurement to be able to start working with them officially
• Organise an in-person workshop
  • Targeting the week of April 8th, somewhere in Europe (Edinburgh? Zurich? Paris?)
• Complete PI5 Planning process
• Start regular working sessions with the team

• Project has not been moving much around the Christmas holidays period due to people being off and/or busy elsewhere
• I have explored the option of embedding the Peras R&D work into the Scaling tribe as a way to get up to speed faster but this option was abandoned
• Some changes to the team have been acknowledged:
  • Trym Bruset will be our Product manager as he is also involved with side-chains work
  • Brian Bush expressed strong interest in joining the team and will be working on joint FM/prototyping work
• Interviewed Artjoms Sinkarovs (currently on an internship in FM team) for being hired on a permanent contract to work on Peras
• As we are planning to do a lot of work around Model-based test generation, I have started discussing with Quviq on how they could be involved in Peras
  • They expressed a lot of interest as it really falls into their skillset and domain (they have a lot of expertise in both Agda for formal spec work and QC-based test generation of course)