Yuichiro Oyabu (大藪雄一郎)

I am a 2nd-year doctorial course student (of a five-year doctorial course)
in Group MMM (Hasuo-Lab),
Deparment of Informatics,
School of Multidisciplinary Sciences,
National University SOKENDAI (The Graduate University for Advanced Studies).
My supervisor is Ichiro Hasuo.
I am finishing the course getting a master degree of informatics in March, 2019.

Current Research Interests

• probabilistic program and Bayes inference
• formal methods for cyber-physical systems.
• supermartingale and stochastic cyber-physical model checking
• classical model checking and automata theory

Papers

• anonymous authors.
  a conference paper that went far from my master thesis under review.
  
• Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, and Ichiro Hasuo.
  Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.
  Proc. ATVA 2018. [arXiv]

Theses

• Yuichiro Oyabu.
  A Study towards Efficient Inference on Probabilistic Programs: Hierarchical Sampling via Separation of Control and Data.
  Master thesis, SOKENDAI University, 2019.

Research Visits

• 2018
  • International Symposium on Automated Technology for Verification and Analysis, Los Angeles, USA. October, 2018.
  • Federated Logic Conference 2018, Oxford, UK. July, 2018.
  • Cyber-Physical Systems Week 2018, Porto, Portugal. April, 2018.
• 2017
  • RTSS 2017 IEEE Real-Time Systems Symposium, Paris, France. December, 2017.
  • 7th oCPS PhD School on Cyber-Physical Systems, Lucca, Italy. June, 2017.
  • Cyber-Physical Systems Week 2017, Pittsburgh, America. April, 2017.

Working Experiences

• Research Assistant at NII (National Institute of Informatics) (May/2018 – March/2019).

Contact

• Email: oyabu82 [at] gmail.com
• Email: oyabu-yuichiro [at] nii.ac.jp (will be expired by 2019 June)
• Email: oyabu-yuichiro [at] group-mmm.org (will be expired)

Last update: March 27, 2019