Research Center for Software Verification
Click on a name for details.
| No. | Name | Affiliation | Job title | Research Keywords |
| 1 | Kokichi Futatsugi |
Research Center for Software Verification |
Research Professor | formal methods, specification/design language, systems verification, software engineering |
| 2 | Norbert Preining |
Research Center for Software Verification |
Associate Professor | many-value logics, proof theory, semantics, goedel logics |
| 3 | Daniel Mircea Gaina |
Research Center for Software Verification |
Assistant Professor | |
| 4 | Xin Li |
Research Center for Software Verification |
Research Assistant Professor |