Researcher in CS, formal verification, software safety.

Believer @SPX6900 @projectaeon3333

ID: 1401331056171753474

linkhttps://spx6900.com/ calendar_today06-06-2021 00:12:22