"Control-flow analysis" . "Application-specific graphs" . "Algorithms" . "Software testing" . "Theoretical computer science" . "Compiler construction" . "Holism" . "Software project management" . "Mathematical logic" . "Modeling languages" . "Programming constructs" .