 |
Fields of
interest :
- Software
and Systems Engineering
- Formal
Methods and human aspects thereof
- Verification-Oriented Requirements
Engineering
- Specification and Verification of
Real-Time and Embedded Systems
- Theory of
Refinement and Abstraction
- Artificial
intelligence, Logic, Robotics
- Theoretical Computer Science
I am always
looking for students interested in topics
related to software and systems engineering, in
particular using formal methods.
Get me in touch, if you are contemplating doing
your Bachelors or Masters Thesis in any of the
above areas!
|
|
|
| E-mail:
|
 |
Snail:
Dr. Maria Spichkova
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching
Germany
| Phone:
|
+49 (89)
289-17880 |
| Fax:
|
+49 (89)
289-17307 |
| Room:
|
00.11.058
|
Consultation/Tutoring hours:
|
By
Arrangement
|
|
Next "IEEE Women in Engineering" event:
4 June 2012
