Research Topics

• Concurrent Reversible Computation
• Real-time System Programming
• Process Algebra

Lectures

• Informatics 1 (Programming)
• Mathematical Logic 2c
• Compiler
• System Verification and exercises
• Concurrency 1, 2
• Advanced lecture in Software funcamentals

Hobby

• Ozumo