Group @GitHub

Assistant Professor:

Ana Sokolova

PhD Students:

Alireza Abyaneh

Martin Aigner

Clemens Krainer

Ouafae Lachhab

PhD Graduates (with first post-graduate affiliation):

Silviu Craciunas, TTTech

Andreas Haas, Google

Daniel Iercan (co-advised)

Michael Lippautz, Google

Eduardo Marques (co-advised)

Hannes Payer, Google

Harald Röck, Eurofunk

Rainer Trummer, Roco

Research

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:

The JAviator (Project), Cyber-Physical Cloud Computing, Big Actors

Logic:

Guarded Fragment, Soft Typing

Paradigms:

Incorrect Systems, Runtime Programming

Teaching @GitHub

Winter 2016/2017:

The Selfie Project

Computer Science for All

Past Classes

Community

Associate Editor: TCAD
PC Member: ISMM 2016
ERC Member: POPL 2016
SC Member: ACM SIGBED Paul Caspi Memorial Dissertaton Award
Co-PI: RiSE, CPCC
SC Chair: EMSOFT
Treasurer: European Chapter of ACM SIGOPS
Workshop Co-Chair: CPSWEEK 2016