>>12693543Various parts of database design with applications of descriptive set theory and finite model theory.
Yes, I'm serious. Look up descriptive complexity theory.
In general, unless you're a stickler and want to study exclusively uncountable structures and inaccessible cardinals, theoretical computer science and its applications have a plethora of interesting work for the modern logician.
