Group @GitHub

Assistant Professor:

Ana Sokolova

Postdoc:

Andreas Holzer

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, TS Stack
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

Summer 2015:

Introduction to Compiler Construction in the iTunes Store and on iTunes U as well as on Vimeo in HD

Concurrency and Memory Management Seminar

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
PC Member: EuroSys 2015