"Digital electronics" . "Concurrency control" . "Programming language topics" . "Automata (computation)" . "Transaction processing" .