About my research

I am interested in mathematical modeling, systems theory, scheduling, optimization, and formal methods.

See my CV and publications to learn about my research.