Artificial Intelligence

Distributed ledger technlogies (DLTs)---Blockchains

mHealth

Digital Health

Automated decision-making

Proactive health

Health informatics

Health interventions

Wearable technlogy

• Green and energy-efficient computing, energy informatics
• Parallel and distributed computing systems, cyber-physical systems
• Parallel programming, concurrent data abstractions, programming systems, runtime systems
• Dependable computing systems
• Intelligent systems

1. Distributed Data Systems

2. Semantic Web

3. Machine Learning

Empowering users with control over their data presupposes reasoning about information flow within computer systems. My research focuses on understanding information flow and enforcing information flow restrictions during computation.

For more information, visit my personal website.