Takumi Akazaki

I am a 2nd-year doctoral 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
• Temporal Logic and Robust Semantics
• Gaussina Process Regression and Optimization
• Nonstandard analysis

Publications and

• Takumi Akazaki.
  Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression.
  RV 2016, The 16th International Conference on Runtime Verification.
  [pdf].


• Masaki Waga, Takumi Akazaki and Ichiro Hasuo.
  A Boyer-Moore Type Algorithm for Timed Pattern Matching.
  FORMATS 2016, The 14th International Conference on Formal Modelling and Analysis of Timed Systems.
  [lncs |extended version at arXiv].
  


• Takumi Akazaki and Ichiro Hasuo.
  Time Robustness in MTL and Expressivity in Hybrid System Falsification.
  CAV 2015, 27th International Conference on Computer Aided Verification.
  [pdf of extended version].
  


• Takumi Akazaki, Ichiro Hasuo, and Kohei Suenaga.
  Input Synthesis for Sampled Data Systems by Program Logic.
  HAS 2014, Proceedings 4th Workshop on Hybrid Autonomous Systems.
  [pdf].
  

Theses

• Takumi Akazaki.
  Robust Semantics of MTL Sensitive to Relative Time-Constraints.
  Master thesis, University of Tokyo, 2015.
  


• Takumi Akazaki.
  A Test Generation Methodology For Hybrid Systems With Fixed-Interval.
  Bachelor thesis, University of Tokyo, 2013.

Talks

• Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression.
  RV 2016, Madrid, Spain. Sep 28, 2016


• Time Robustness in MTL and Expressivity in Hybrid System Falsification.
  CAV 2015, San Francisco, California, USA. July 18-24, 2015.
  


• Robust Semantics of MTL Sensitive to Relative Time-Constraints.
  MSc thesis presentation, University of Tokyo, Tokyo, Japan. Feb 2, 2015.
  


• Input Synthesis for Sampled Data Systems by Program Logic.
  HAS 2014, Grenoble, France. 12 Apr 2014.
  EWSCS 14, Palmse, Estonia. 3 Mar 2014.
  


• A Test Generation Methodology For Hybrid Systems With Fixed-Interval.
  BSc thesis presentation, University of Tokyo, Tokyo, Japan. Feb 2, 2015.
  

Visited conferences and workshops

• HSCC 2016 , Vienna, Austria, 2016
• ETAPS 2014 , Grenoble, France, 2014
• CSCAT 2014 , Kanagawa, Japan, 2014
• 30th JSSST Annual Conference , Tokyo, Japan, 2013

Teaching experiences

• Teaching assistant for Theory of Program Language class (Apr. 2013 – Jul. 2013)
• Teaching assistant for Theory of Formal Language class (Oct. 2013 –)

Contact

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