Group @GitHub

Assistant Professor:

Ana Sokolova

Postdoc:

Rainer Trummer

PhD Students:

Martin Aigner, Andreas Haas, Clemens Krainer, Michael Lippautz

Graduated PhD Students:

Silviu Craciunas, Daniel Iercan (co-advised), Eduardo Marques (co-advised), Hannes Payer, Harald Röck, Rainer Trummer

Research

Concurrency: k-FIFO Queues, DQs, Quantitative Relaxation
Memory: ACDC, Short-term Memory, Compact-fit
Systems: Cyber-Physical Cloud Computing
Space: BigActors
Engineering: Incorrect Systems
Paradigms: Runtime Programming
UAVs: The JAviator (Project)
Real Time: Variable-Bandwidth Servers
Logical Time: LET, Giotto, and The E Machine
Virtualization: Schedule-Carrying Code
Decidability: Guarded Fragment, Soft Typing

Teaching @GitHub

Winter 2013:

Introduction to Operating Systems

Advanced Operating Systems

Past Classes

Community

SC Chair: EMSOFT
Treasurer: European Chapter of ACM SIGOPS
Co-PI: RiSE, CPCC
Associate Editor: ACM TODAES
Guest Editor: ACM TECS Special Issue on Probabilistic Embedded Computing (CfP)
PC Member: EMSOFT 2013, RTAS 2014