George focuses on practical ways of achieving reliability and security in complex software systems.