Research area: Computing Theory