2017 : Charles Babbage Award ( IEEE-Institute of Electrical and Electronics Engineers-Computer Society ) 2017 : Charles Babbage Award ( Computer Society-Institute of Electrical and Electronics Engineers-IEEE ) .