SucheDipl.-Inf. Bogdan Tofan
Wiss. Mitarbeiter
| E-Mail: | tofan@informatik.uni-augsburg.de |
| Telefon: | +49 821 598 - 2181 |
| Raum: | 3043N |
Teaching
- Formal Methods in Software Engineering
- Systemmodeling, Analysis and Verification
- Programming Java Smartcards
- Internetsecurity
Research
Currently I am involved in project VeriCAS which is about the formal verification of efficient concurrent algorithms for multi-core processors.