Japanese
Hiroyuki
SEKI
Professor,
Ph.D.
Research
Topics
- Formal Language Theory
- Mildly
Context-Sensitive Grammars and their Application to Biological Sequence
Analysis
- Term Rewrite System,
Tree Automata and their Application to XML Document Processing
- Formal Methods in Secure
and Safe Computing
- Theory and Practice of
Formal Verification
- Access Control and
Trust Management Methodologies
Biography
List of Publications
Professional Activities
Contact
|
office:
|
Room
B501 |
|
e-mail:
|
seki
CINNAMONROLL is POINT naist POINT jp |
|
address:
|
Graduate
School of Information Science |