R
Research Interests
Health Systems, Economic Evaluations, Quality of Life
Healthcare Cost, Quality, Practices
Healthcare Policy and Management
Medication Adherence and Compliance
Pharmaceutical Economics and Policy
Embedded Systems Design Techniques
Logic, Programming, and Type Systems
Software Engineering Research
Parallel Computing and Optimization Techniques
Formal Methods in Verification