Automated reasoning

Computational intelligence

Multi-criteria decision making

Autonomous systems

Asynchronous programming

Flow based programming

Internet of Things (IoT)

Web applications

End-to-end encryption

Blockchain

Reputation/Identity Systems

Byzantine agreement