I am now retired.
My profile page is ready.
List of papers are available.
List of lectures are available.
Book support page: CS-Orriented Conputer / Programming Fundamentals.
research: state abstraction based synchronization.
research: o3: a language with unified compsiiton mechanism.
