Hi,

I'm an associate professor at Department of Engineering, University of Fukui. I'm interested in theoretical computer science, software engineering, mathematical logic, also related philosophical topics. If you want to study in Fukui, please let me know.

My recent papers:

Mathematics:
Beckmann, A., & Yamagata, Y. (2025). On proving consistency of equational theories in bounded arithmetic. The Journal of Symbolic Logic

Theoretical Computer Science:
Ikeda, M., Yamagata, Y., & Kihara, T. (2024). On the Metric Temporal Logic for Continuous Stochastic Processes. Logical Methods in Computer Science,

Software Engineering:
Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J. (2020). Falsification of cyber-physical systems using deep reinforcement learning. IEEE Transactions on Software Engineering

Philosophy:
Suzuki, U., & Yamagata, Y. (2023). Notion of validity for the bilateral classical logic. arXiv preprint arXiv:2310.13376.

#Logic #MathematicalLogic #BoundedArithmetic #SoftwareEngineering
#Philosophy
#PhilosophicalLogic
#PhilosophyOfLanguage