Shota Nakagawa (中川 翔太)

I am a 2nd-year master's course student in Group MMM (Hasuo-Lab), Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo. My supervisor is Ichiro Hasuo.

Research Interests

• Formal verification
• Game-theoretic probability

Publications and theses

• Shota Nakagawa and Ichiro Hasuo.
  Near-Optimal Scheduling for LTL with Future Discounting.
  Proc. TGC 2015, LNCS 9533, p. 112-130. [lncs]
• Shota Nakagawa.
  Games for Discrete-time Markov Chain and Their Application to Verification.
  BSc thesis, University of Tokyo, 2014. [pdf]

Contact

• Office: Room 415, Faculty of Science Building 7, 7-3-1 Hongo, Bunkyo, Tokyo 113-0033
• Email: chro96 [at] is.s.u-tokyo.ac.jp