Engineering
Edmund M. Clarke
International nongovernmental organizations
Institute of Electrical and Electronics Engineers
Randal Bryant