Andor Penzes
andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.
https://www.redbubble.com/shop/ap/92458473 London, United Kingdom
Noriyuki Shinpuku
puku0x
Software developer @Findy, ng-fukuoka organizer, Ph.D. in Engineering
Findy Inc. Fukuoka, Japan