SucheDipl.-Inf. Bogdan Tofan
Wiss. Mitarbeiter
| E-Mail: | tofan@informatik.uni-augsburg.de |
| Telefon: | +49 821 598 - 2181 |
| Raum: | 3043N |
Teaching
The following topics are part of my teaching involvement.
- Formal Methods in Software Engineering
- Systemmodeling, Analysis and Verification
- Programming Java Smartcards
- Internetsecurity
Supervised master theses.
- Jörg Pfähler: Formal Verification of Efficient Data Structures for Multi-Core Processors
Verification Competitions
Here are some verification competitions we have participated in.
- VSTTE '12: This is the competition page and here are our solutions.
- FoVeOOS '11: Here is the official page and these are our solutions.
Research
Currently, I am involved in project VeriCAS, which is about the formal verification of efficient concurrent algorithms for multi-core processors.