Theoretical computer science
Logic in computer science
Constraint programming
Electronic design automation
Satisfiability modulo theories