Naoya Nitta


[Reserch Topics]

  • Formal Methods
    • Verification on Infinite State Systems
    • A Framework for Software Design Modification: Dependence Logic
  • Information Security
    • Security Verification of Cryptographic Protocols
    • Automatic Construction of Intrusion Detection Systems


27 Feb.'67 Born in Japan.
'91 Graduate from Osaka Univ.
'98 Leave Dynaware Corp.
'98 Enter to NAIST(Nara Institute of Science and Technology Graduate School)
'02 Graduate from NAIST.
'02 Assistant professor, Graduate School of Information Sciece, NAIST
'05 Lectuler, Konan University