佐藤周行なんだな。

Me at Events

• Authentication/Authorization, and Identity and Access Management
• Optimization Verifying Compilers
  A Compiler that automatically Verifies its Optimization Process, Guaranteeing Correctness of Semantics and of Performance Improvement
  Position Paper (In Proc. International Sympo. on Electronics for Future Generations, 2004, 247--252.)
• Internet Trust for Identities
  Open Identity Exchange LoA 1 Assessment
  Its Press Release by OIX
  The First Certification through GakuNin.
  CISA (Certified Information Systems Auditor)/ISACA Academic Advocate.
• IoT Network -- Its Security and Trust
  
• Quantum Computing
  Collaboration with Fujitsu

---

Call for RA positions (UT PhD candidates only)
Quantum Computing関係


---