IET Mountbatten Medal

Automated Deduction（英语：Conference on Automated Deduction） IET Mountbatten Medal（英语：IET Mountbatten Medal） 國際工程技術學會 and Institution of Electrical Engineers（英语：Institution

Harvey Prize（英语：IET A F Harvey Prize） 國際工程技術學會 IET Faraday Medal（英语：IET Faraday Medal） 國際工程技術學會 IET Mountbatten Medal（英语：IET Mountbatten Medal） 國際工程技術學會 International