I work for University of Electro-Communications, Tokyo.
List of papers are available.
research: state abstraction based synchronization.
research: o3: a language with unified compsiiton mechanism.
education: gateio app
