Areas of specialization |
Software verification and analysis
|
---|---|
Laboratory/research office |
Software Verification and Analysis Laboratory
As computers are more and more widely utilized, software defects have a greater and greater influence on our daily life. Software that seems to have no defect may sometimes cause trouble when several rare events occur simultaneously. In this laboratory, we study (a) methodologies for verifying the functional correctness of software and (b) specification languages for the logical verification of software systems. |
Current reseach topics | |
Educational background |
1997: Doctor
|
Professional background |
2001-2007:
1997-2007: |
Licenses | Academic societies |
Associate Professor TAKATA Yoshiaki
Information Systems Engineering Course, Department of Engineering, Graduate School of Enginering