KEIKO NAKATA

Keiko Nakata and Tarmo Uustalu. A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. Logical Methods in Computer Science. The accompanying Coq development: abyss.tgz... Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk: Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor 21st Int. Symp. on Formal Methods, FM 2016... I like mathematics, in particular topology and logic, and programming. I am interested to understand how groups of people decide and work together in professional settings and how structure influences on it.