Yoichi Hirai

I have been working on software formal verification for about ten years.

I currently run a small consultancy and all professional enquiries should go through this consultancy.

I am currently based in Portugal.