Graduated from the Department of Information Science, Faculty of Science, The University of Tokyo in 2003. Completed the master’s program in the Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo in 2005. Completed the doctoral program in 2008, Ph.D. (Information Science and Technology). Worked as a researcher at IBM Tokyo Research Laboratory, postdoctoral researcher at the Faculty of Science, University of Lisbon, JSPS Research Fellow (PD), and designated assistant professor at the Hakubi Center for Advanced Research, Kyoto University. Currently an associate professor at the Graduate School of Informatics, Kyoto University. While primarily focusing on formal verification methods for various systems, engaged in diverse research activities. Member of the Japan Society for Software Science and Technology, Information Processing Society of Japan, and ACM.
ksuenaga $ gmail dot com (Replace $ with @ and dot with .)