Faculty Members

Associate Professor
TAKATA, Yoshiaki
Ph.D., Osaka University, Japan, 1997
- Year of birth: 1969
- Gender: Male
- Affiliation:
- School of Information
- Information Systems Engineering Course, Department of Engineering, Graduate School of Enginering
- Infomatics Course, Department of Engineering, Graduate School of Enginering - researchmap: https://researchmap.jp/read0119489
Areas of specialization | Software verification and analysis |
---|---|
Laboratory/research office |
Software Verification and Analysis Laboratory
As computers are more widely utilized, defects of the software come to have great influence on our daily life. Software that seems to have no defect may sometimes cause a trouble when several rare events occur simultaneously. In this laboratory, we study methodologies for verifying the correctness of software as well as specification languages for software system suitable for logical verification. |
Current research topics | Model checking of programs with language-based access control Access control models for XML databases |
Educational background | 1997: Doctor |
Professional background |
2001-2007:
1997-2007: |
Licenses | |
Academic societies |
You can see the continuation of the table with a side swipe.
Courses
* Courses provided in English are shown with (E) mark
Undergraduate school |
|
---|---|
Graduate school |
|
You can see the continuation of the table with a side swipe.
Research activities
Research papers |
|
---|---|
Grants-in-Aid for Scientific Research from the Japanese government |
|
You can see the continuation of the table with a side swipe.
Social activities
You can see the continuation of the table with a side swipe.