Satoru Takasu

• Logic, language, and computation
• Systems and Computer Science