S
Sebastian Fischmeister
Professor, Electrical and Computer Engineering
Research Interests
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
Software Testing and Debugging Techniques