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: Principles, Variable-Bandwidth Servers
Logical Time: LET, Giotto, and The E Machine
Virtualization: Schedule-Carrying Code
Decidability: Guarded Fragment, Soft Typing

Teaching @GitHub

Winter 2014:

Introduction to Operating Systems

Systems Engineering

Advanced Operating Systems

Past Classes

Community

SC Chair: EMSOFT, ACM SIGBED Paul Caspi Memorial Dissertaton Award
Treasurer: European Chapter of ACM SIGOPS
Co-PI: RiSE, CPCC
Associate Editor: ACM TODAES
Guest Editor: ACM TECS Special Issue on Probabilistic Embedded Computing
PC Member: RTAS 2014, EC2 2014, EMSOFT 2014, EuroSys 2015