Hiroyuki Seki

Research Topics

• Formal Language Theory

  • Mildly context-sensitive grammars

  • Automata and grammars with data values

  • Structure compression of large data and direct manipulation of compressed data

• Formal Methods in Safe and Secure Systems Design

  • Quantitative information flow

  • Language-based security and privacy

-- Contact --

office: Room 591, South Wing, IB Build.

e-mail: seki CINNAMONROLL i POINT nagoya-u POINT ac POINT jp

address: Graduate School of Informatics

Nagoya University

Furo-cho, Chikusa, Nagoya 464-8601, Japan