Sota Sato 佐藤創太

Last updated:

pudding

I am a student at {National Institute of Informatics (NII), The Graduate University for Advanced Studies (SOKENDAI)}, supervised by Ichiro Hasuo.

My research interests lie in the application of formal methods under uncertainty. In particular, I am currently working on search-based testing on hybrid systems by temporal logics and metaheuristic optimization algorithms.

[orcid] [dblp] [github]

Papers

Talks

Contact

email: sotasato_at_nii.ac.jp