Research Areas

Mathematics
Mathematical Logic and Foundations
Optimization
Natural Sciences