Hiroyoshi SEKINE （関根 大剛）

About me

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 of hybrid systems
• Nonstandard analysis

Publications and theses

• Kohei Suenaga, Hiroyoshi Sekine, and Ichiro Hasuo.
  Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals.
  Proc. POPL 2013, p.417-430. ACM.
  [acm | local copy with appendices]
• Hiroyoshi Sekine, Kohei Suenaga, and Ichiro Hasuo.
  Simulink Blocks as Stream Processing Systems — An Approach from Nonstandard Analysis (Preliminary Report).
  Proc. NSV 2012
• Hiroyoshi Sekine.
  Simulink Blocks as Stream Processing — An Approach from Nonstandard Analysis.
  BSc thesis, University of Tokyo, 2012.

Visited conferences and workshops

• SLAGICS 2013 (ALGI and SLACS Join Forces), Kyoto, Japan, 2013
• 30th JSSST Annual Conference, Tokyo, Japan, 2013
• POPL 2013, Rome, Italy, 2013
• CAV 2012 and NSV 2012, Berkeley, US, 2012
• NII Shonan Meeting: Hybrid Systems — Theory and Practice, Seriously, Zushi, Japan, 2012
• CSCAT 2012, Hiyoshi, Japan, 2012

Teaching experiences

• Teaching assistant for Laboratory in Basic Information Science class (Oct. 2012 – Mar. 2013, Oct. 2013 –)
• Teaching assistant for Information Science classes (Oct. 2012 – Jan. 2013, Oct. 2013 –)
• Teaching assistant for Information classes (Apr. 2012 – Jul. 2012, Apr. 2013 – Jul. 2013)
• Teaching assistant for Introduction to Using Information Systems class (May 2013 – Jul. 2013)

Contact

• Office: Room 415, Faculty of Science Building 7, 7-3-1 Hongo, Bunkyo, Tokyo 113-0033
• Email: h.sekine.1989 [at] gmail.com