Send me money on Revolut!
Become a selfie sponsor on GitHub!
Schedule time with me on Calendly!
PhD Student:
Anna Bolotina
PhD Graduates (with first post-graduate affiliation):
Alireza Abyaneh
Martin Aigner, Karajan Institute
Silviu Craciunas, TTTech
Andreas Haas, Google
Daniel Iercan (co-advised)
Clemens Krainer, Porsche
Michael Lippautz, Google
Eduardo Marques (co-advised)
Hannes Payer, Google
Harald Röck, Eurofunk
Rainer Trummer, Roco
Systems: Selfie, The JAviator (Project)
Concurrency: Scal, Timestamped Stack, Quantitative Relaxation, Distributed Queues
Memory: Scalloc, ACDC, Short-term Memory, Compact-fit
Time: Principles of Real-Time Programming, Logical Execution Time, Giotto, The Embedded Machine, Schedule-Carrying Code, Variable-Bandwidth Servers
Space: Cyber-Physical Cloud Computing, Big Actors
Logic: Guarded Fragment, Soft Typing
Paradigms: Abstract Symbolic Execution, Incorrect Systems, Runtime Programming