Apps
• Information systems, Safety, Cryptography
• Automated algorithm analysis
• Data compression, Error-correcting codes
• Statistical physics, Quantum information, Algebra, Representation theory
• Compilation, Algorithm search
• Automated text selection
• Formal logic