Design and analysis of algorithms, computer logic, geometry and discrete structures, queuing theory, cryptography