Personal information

Japan

Activities

Employment (1)

Hitachi, Ltd.: Tokyo, JP

2016-04-01 to present
Employment
Source: Self-asserted source
Kazuya Yasuda

Education and qualifications (2)

University of Tokyo: Tokyo, JP

2014-04-01 to 2016-03-31 | Master of Computer Science (Dept. of Computer Science, Grad. School of Information Science and Technology)
Education
Source: Self-asserted source
Kazuya Yasuda

University of Tokyo: Tokyo, JP

2010-04-01 to 2014-03-31 | Bachelor of Science (Dept. of Information Science, School of Science)
Education
Source: Self-asserted source
Kazuya Yasuda

Works (3)

Inferring Faults in Business Specifications Extracted from Source Code

2019 26th Asia-Pacific Software Engineering Conference (APSEC)
2019-12 | Conference paper
Source: Self-asserted source
Kazuya Yasuda

Redundancy Elimination for Decision Tables Made with Source Codes

IPSJ SIG Technical Report
2018-03-10 | Conference paper
Part of ISSN: 2188-8825
Source: Self-asserted source
Kazuya Yasuda

Observational Equivalence Using Schedulers for Quantum Processes

Electronic Proceedings in Theoretical Computer Science
2014-12-28 | Conference paper
Part of ISSN: 2075-2180
Source: Self-asserted source
Kazuya Yasuda