システムソフトウェアと形式検証に興味があります。読むに耐えないメモ書きがほとんどになると思います。
えいごわかんない
https://www.youtube.com/watch?v=5xE24p-RauQcamkesからmicrokit-vmmへの移行に関する調査donerworksのuse caseで足りなかった点複数のVCPUを作れない
x86サポート
https://www.youtube.com/watch?v=4ESGgf80lcg
spinでsDDFのプロトコルを検証する話
https://www.youtube.com/watch?v=0W5cMTnyBLk&t=32s