컴퓨터 과학자 목록
List of computer scientists이것은 컴퓨터 과학자, 컴퓨터 과학 분야에서 일하는 사람들, 특히 연구자와 저자들의 목록입니다.
프로그램뿐만 아니라 연구에도 종사하고 있기 때문에 프로그래머로서 주목받는 사람도 여기에 포함되어 있습니다.이 사람들 중 몇몇은 디지털 컴퓨터의 발명에 앞서 있다; 그들의 작업이 컴퓨터의 발명으로 이어질 수 있기 때문에 그들은 현재 컴퓨터 과학자로 여겨진다.다른 사람들은 복잡도 이론이나 알고리즘 정보 이론과 같이 현재 이론 컴퓨터 과학이라고 불릴 수 있는 것에 속하는 수학자들이다.
A
- Wil van der Aalst – 비즈니스 프로세스 관리, 프로세스 마이닝, Petri nets
- Scott Aaronson – 양자 컴퓨팅 및 복잡성 이론
- 리디에트 아베베 – 알고리즘, 인공지능
- Hal Abelson –컴퓨팅과 교육 분야
- Serge Abiteboul – 데이터베이스 이론
- Samson Abramsky – 게임 의미론
- Leonard Adleman – RSA, DNA 컴퓨팅
- Manindra Agrawal – 다항식 시간 프라이머리 테스트
- Luis von Ann –
- Alfred Aho – 컴파일러 책, AWK의 'a'
- 프랜시스 E. Allen – 컴파일러 최적화
- Gene Amdahl – 슈퍼컴퓨터 개발자, Amdahl Corporation 설립자
- 데이비드 P. Anderson – 자원봉사 컴퓨팅
- Lisa Anthony – 자연스러운 사용자 인터페이스
- Andrew Appel –교과서 컴파일러
- 세실리아 R. 아라곤 – 인간 중심의 데이터 과학 발명
- Bruce Arden – 프로그래밍 언어 컴파일러(GAT, 미시간 알고리즘 디코더(MAD), 가상 메모리 아키텍처, 미시간 터미널 시스템(MTS)
- Sanjeev Arora – PCP 정리
- Winifred "Tim" Alice Asprey – Vassar College 컴퓨터 과학 커리큘럼 확립
- John Vincent Atanasoff – Atanasoff Berry Computer (ABC)의 컴퓨터 개척자
- Shakuntala Atre – 데이터베이스 이론
B
- 찰스 배비지 (1791–1871) – 최고의 수학자라고 불리는 최초의 기계 컴퓨터를 발명했다.
- Charles Bachman – 통합 데이터 스토어로 알려진 미국의 컴퓨터 과학자
- Roland Carl Backhouse – 컴퓨터 프로그램 구축 수학, 알고리즘 문제 해결, ALGOL
- John Backus – FORTRAN, Backus – Naur 형식, 최초의 완전한 컴파일러
- 데이비드 F. 베이컨 – 프로그래밍 언어, 쓰레기 수집
- 데이비드 A.더 나쁘다
- 빅토르 바알
- Anthony James Bar – SAS 시스템
- Jean Bartik(1924–2011) – 최초의 진공관 컴퓨터 중 하나인 ENIAC(1946년)의 최초의 컴퓨터 프로그래머 중 한 명. 케이블, 다이얼, 스위치를 사용하여 물리적으로 기계를 다시 배선하는 프로그래밍을 실시했을 때, Jean Mauchly와 함께 BINAC(1949년), EDVAC(1949년), UNIVAC(1951년)를 개발했습니다.
- 앤드류 바르토
- Friedrich L. Bauer – 스택 (데이터 구조), 순차 공식 변환, ALGOL, 소프트웨어 엔지니어링, 바우어-파이크 정리
- 루돌프 바이어 – B-트리
- Gordon Bell(1934년생)– 컴퓨터 디자이너 DEC VAX, 저자: Computer Structures
- Steven M. Bellovin – 네트워크 보안
- 세실리아 베르디체프스키(1925년~2010년) 아르헨티나 컴퓨터 과학자의 선구자
- Tim Berners-Lee – 월드 와이드 웹
- Daniel J. Bernstein – qmail, 보호된 음성 소프트웨어
- 피터 버너스
- 압하이 부샨
- Dines Björner – Vienna 개발 방법(VDM), RAISE
- Gerrit Blaauw – IBM System 360 컴퓨터 라인의 주요 설계자 중 한 명
- 수 블랙
- 데이비드 블라이
- 도로시 블럼– 국가안보국
- Lenore Blum – 복잡성
- Manuel Blum –암호화
- Barry Boehm – 소프트웨어 엔지니어링 경제, 스파이럴 개발
- Corrado Böhm – 구조화 프로그램 정리 저자
- 커트 볼래커
- Jeff Bonwick – 슬래브 할당 및 ZFS 발명
- Grady Boch – 객체 관리 그룹 통합 모델링 언어
- George Boolean – 부울 로직
- Andrew Booth – 최초의 회전 드럼 저장 장치 개발
- Kathleen Booth – 최초의 어셈블리 언어 개발
- Anita Borg(1949~2003) – 미국의 컴퓨터 과학자, Anita Borg Institute for Women and Technology 설립자
- Bert Bos – 캐스케이드 스타일 시트
- Mikhail Botvinnik – 세계 체스 챔피언, 컴퓨터 과학자 겸 전기 엔지니어, 초기 전문가 시스템 AI 및 컴퓨터 체스의 선구자
- Jonathan Bowen – Z 표기법, 정식 방법
- 스티븐 R. Bourne – Bourne 쉘, 휴대용 ALGOL 68C 컴파일러
- Harry Bouwman(1953년 ~ )– 네덜란드 정보 시스템 연구자, 오보 아카데미 대학 교수
- 로버트 S. Boyer – 문자열 검색, ACL2 정리 프로세서
- Karlheinz Brandenburg – 주요 MP3 기여자
- 로렌스 M. 품종 – Iverson 표기법(APL) 구현, APL\360 공동 개발, Scientific Time Sharing Corporation 공동 설립자
- Jack E. Bresenham – Bresenham의 알고리즘을 포함한 초기 컴퓨터 그래픽스의 공헌
- 세르게이 브린 – 구글 공동 창업자
- David J. Brown – 통합 메모리 아키텍처, 바이너리 호환성
- Per Brinch Hansen ('Brinch Hansen')– RC 4000 멀티프로그래밍 시스템, 운영체제 커널, 마이크로커널, 모니터, 동시 프로그래밍, 동시 프로그래밍, 분산 컴퓨팅 및 프로세스, 병렬 컴퓨팅
- Sjaak Brinkkemper – 제품 소프트웨어 개발 방법론
- Fred Brooks – System 360, OS/360, 신화 속 공수, 실버블렛 없음
- 로드 브룩스
- Margaret Burnett – 비주얼 프로그래밍 언어, 최종 사용자 소프트웨어 엔지니어링 및 성별을 포함하는 소프트웨어
- 마이클 버틀러– 이벤트 B
C
- Tracy Camp – 무선 컴퓨팅
- Martin Campbell-Kelly –컴퓨팅의 역사
- 로즈마리 캔들린
- Bryan Cantrill – DTrace 발명
- 루카 카르델리 –
- John Carmack – 코드 개발 Doom
- Edwin Catmull –컴퓨터 그래픽스
- Vint Cerf –인터넷, TCP/IP
- 그레고리 차이틴
- Robert Cailliau – 벨기에의 컴퓨터 과학자
- Zhou Chaochen – 지속시간 미적분
- Peter Chen – 엔티티 관계 모델, 데이터 모델링, 개념 모델
- Leonardo Chiariglione – MPEG 설립자
- Tracy Chou – 컴퓨터 사이언티스트 겸 활동가
- Alonzo Church – 콤비네이터 수학, 람다 미적분
- Alberto Ciaramella – 음성 인식, 특허 정보학
- Edmund M. Clarke – 모델 체크
- John Coke – RISC
- 에드거 F. Codd(1923–2003) – 데이터베이스 관계형 모델을 공식화했다.
- Jacques Cohen –컴퓨터 공학 교수
- Ian Coldwater – 컴퓨터 보안
- Simon Colton –컴퓨터의 창조성
- 알랭 콜메라우어 – 프롤로그
- 더글러스 커머 – 시누
- 폴 저스틴 콤프턴 - 리플 다운 규칙
- Gordon Cormack – 공동 발명된 동적 마르코프 압축
- Stephen Cook – NP 완전성
- James Cooly – 고속 푸리에 변환(FFT)
- Danese Cooper – 오픈 소스 소프트웨어
- Fernando J. Corbato – 호환되는 시분할 시스템(CTSS), 멀티틱스
- Kit Cosper – 오픈 소스 소프트웨어
- Patrick Cousot – 추상적 해석
- Ingemar Cox – 디지털 워터마크
- Seymour Cray – Cray Research, 슈퍼컴퓨터
- Nello Cristianini – 기계학습, 패턴분석, 인공지능
- Jon Crowcroft –네트워킹
- 브루스 크로프트
- Glen Culler –인터랙티브 컴퓨팅, 컴퓨터 그래픽스, 고성능 컴퓨팅
- 해스켈 카레
D
- Luigi Dadda – Dadda 승수 설계자
- Ole-Johan Dahl – Simula, 객체 지향 프로그래밍
- Ryan Dahl –node.js 프로젝트 설립자
- Andries van Dam – 컴퓨터 그래픽스, 하이퍼텍스트
- Samir Das –무선 네트워크, 모바일 컴퓨팅, 차량용 애드혹 네트워크, 센서 네트워크, 메시 네트워킹, 무선 애드혹 네트워크
- Neil Daswani – 컴퓨터 보안, 스탠포드 고급 컴퓨터 보안 프로그램의 공동 설립자 겸 공동 디렉터, Dasient 공동 설립자(Twitter에 인수됨), LifeLock 및 Symantec Consumer Business Unit의 전 최고 정보 보안 책임자
- Christopher J. Date – 데이터베이스 관계형 모델 제안
- Jeff Dean – Bigtable, Map Reduce, Google 스패너
- Erik Demaine – 컴퓨터 종이접기
- 톰 데마르코
- Richard DeMillo – 컴퓨터 보안, 소프트웨어 엔지니어링, 교육용 테크놀로지
- 도로시 E. 데닝 – 컴퓨터 보안
- Peter J. Denning – ACM 사장, 운영체제 작업 세트 및 균형 세트 사용 확인
- Michael Dertouzos – 1974년부터 2001년까지 매사추세츠 공과대학(MIT) 컴퓨터 사이언스 연구소장
- 알렉산더 더드니
- Robert Dewar – IFIP WG 2.1 멤버, ALGOL 68 회장, AdaCore 공동창업자, 사장, CEO
- Vinod Dham – P5 Pentium 프로세서
- Jan Dietz(1945년생) - 정보시스템 이론과 조직의 설계 및 엔지니어링 방법론
- Whitfield Diffie(1944년생) (선형 응답 함수)– 공개키 암호법, Diffie -헬만 키 교환
- Edsger Dijkstra – 알고리즘, Dijkstra 알고리즘, 유해한 것으로 간주되는 문장으로 이동(프로그래밍), IFIP WG 2.1 멤버
- Matthew Dillon – LWKT 탑재 Dragon Fly BSD, VMkernel OS 레벨 가상화, 파일 시스템: HAMMER1, HAMMER2
- Alan Dix – 인간과 컴퓨터의 상호작용에 관한 중요한 대학 수준의 교재를 집필했습니다.
- Jack Dongara – 선형 대수 하이 퍼포먼스 컴퓨팅(HCI)
- Marco Dorigo – 개미 군체 최적화
- Paul Dourish –인간의 컴퓨터 상호작용
- 찰스 스타크 드레이퍼(1901~1987년)– 아폴로 가이던스 컴퓨터 설계자, "관성 항법의 아버지", MIT 교수
- Susan Dumais – 정보 검색
- Adam Dunkels – Contiki, lwIP, uIP, 프로토스레드
- Jon Michael Dun – Indiana University School of Informatics 설립자, 특히 관련 로직 정보 기반
- Schahram Dustdar – Distributed Systems (오스트리아, TU 빈)
E
- Peter Eades –그래프 그리기
- 애니 이즐리
- 윔 에빈카이젠 – COBOL
- John Presper Eckert – ENIAC
- Alan Edelman – Edelman의 법칙, 확률 연산자, 인터랙티브 슈퍼컴퓨팅, Julia (프로그래밍 언어) 코코레이터, 고성능 컴퓨팅, 수치 컴퓨팅
- Brendan Eich – JavaScript, Mozilla
- Philip Emeagwali –슈퍼컴퓨팅
- E. Allen Emerson – 모델 확인
- Douglas Engelbart – 타일 창, 하이퍼텍스트, 컴퓨터 마우스
- Barbara Engelhardt - 잠재 변수 모델, 유전체학, 정량적 특성 궤적(QTL)
- 데이비드 엡스타인
- Andrey Ershov – 언어 알파, Rapira; 소련 최초의 시분할 시스템 AIST-0, 전자출판 시스템 RUBIN, 멀티프로세서 워크스테이션 MRAMOR, IFIP WG 2.1 멤버, 미학 및 프로그래밍 인적 요인
- Don Estridge(1937–1985) – "IBM PC의 아버지"로 알려진 오리지널 IBM PC 개발을 주도했습니다.
- Oren Etzioni – MetaCrawler, Netbot
- 크리스토퍼 리체 에반스
- 데이비드 C. Evans – 컴퓨터 그래픽스
- 시몬 이븐
F
- 스콧 팔먼
- Edward Feigenbaum – 인텔리전스
- Edward Felten –컴퓨터 보안
- 팀 피닌
- 라파엘 핑켈
- 도널드 파이어스미스
- 게리 윌리엄 플레이크
- Tommy Flows – Colosus 컴퓨터
- Robert Floyd – NP 완전성
- Sally Floyd –인터넷 폭주 제어
- Lawrence J. Fogel – 진화적 프로그래밍
- 제임스 D.폴리
- 켄 포버스
- L. R. 포드 주니어
- 랜스 포트나우
- Mahmoud Samir Fayed - PWCT, 링
- 마틴 파울러
- 로베르 프랑스
- 허버트 W. 프랭크
- 에드워드 프레드킨
- 요브 프룬트
- 다니엘 P.프리드먼
- 샬롯 프리즈 피셔 – 컴퓨터 이론 물리학
- 핑푸
- 샤오밍푸
- 후쿠시마 쿠니히코 – 네오인지트론, 인공 뉴럴 네트워크, 컨볼루션 뉴럴 네트워크 아키텍처, 비지도 학습, 딥 러닝
- D. R. 풀커슨
G
- Richard P. Gabriel – Maclisp, Common Lisp, Worder is Better, Programming Freedom, Lucid Inc, XEmacs
- 즈비 갈릴
- Bernard Galler – MAD (프로그래밍 언어)
- 헥터 가르시아 몰리나
- Michael Garey – NP 완전성
- 휴고 데 가리
- 빌 게이츠– 마이크로소프트 공동 창업자
- 데이비드 겔러너
- Lisa Gelobter – 미국 교육부 최고 디지털 서비스 책임자, teQuitable 설립자
- 샤를 게슈케
- 주빈 가흐라마니
- 산제이 게마왓
- Jeremy Gibbons – 범용 프로그래밍, 함수 프로그래밍, 정식 방법, 계산 생물학, 생물 정보학
- Juan E. Gilbert – 인간 중심의 컴퓨팅
- Lee Giles – CiteSeer
- Seymour Ginsburg – 공식 언어, 오토마타 이론, AFL 이론, 데이터베이스 이론
- 로버트 L. 글래스
- Kurt Gödel – 계산 능력, 컴퓨터 과학자는 아니지만 그의 작업은 현장에서 매우 가치 있었습니다.
- 아쇼크고엘
- 조지프 고근
- 하딕 고헬
- E. Mark Gold – 언어 식별 제한
- Adele Goldberg – Small
- Andrew V. Goldberg – 알고리즘, 알고리즘 엔지니어링
- Ian Goldberg –암호화 기술자, 비공개
- Oded Goldreich – 암호학, 계산 복잡도 이론
- Shafi Goldwasser – 암호학, 계산 복잡성 이론
- Gene Golub – 매트릭스 계산
- Martin Charles Golumbic – 알고리즘 그래프 이론
- Gaston Gonnet – Waterloo Maple Inc. 공동창업자
- Ian Goodfellow – 기계학습
- James Gosling – 네트워크 확장형 윈도 시스템(NeWS), Java
- Paul Graham – Viaweb, On Lisp, Arc
- Robert M. Graham – 프로그래밍 언어 컴파일러(GAT, Michigan Algorithm Decoder(MAD), 가상 메모리 아키텍처, 멀티픽스
- Susan L. Graham – 컴파일러, 프로그래밍 환경
- Jim Gray – 데이터베이스
- Sheila Greibach – Greibach 정규형, AFL(Abstract Family of Languages) 이론
- 랄프 그리즈월드 – SNOBOL
- Bill Gropp – 메시지 전달 인터페이스, 휴대용 확장 가능한 Scientific Computation(PETC) 툴킷
- Tom Gruber – 온톨로지 엔지니어링
- Shelia Guberman – 필기 인식
- 라마나단 5세 Guha – Resource Description Framework(RDF), Netscape, RSS, Epinions
- Neil J. Gunther – 컴퓨터 퍼포먼스 분석, 용량 계획
- 위르크 구트크네히트 – Niklaus Worth 포함: 릴리스 컴퓨터, 모듈라-2, 오베론, 존논 프로그래밍 언어, 오베론 운영체제
- 마이클 가이 – Phoenix, 수 이론, 컴퓨터 대수학, 고차원 다면체 이론 연구; John Horton Conway와 함께
- Robert Griesemer - 시작
H
- Nico Habermann – 운영체제, 소프트웨어 엔지니어링, 프로세스 간 통신, 프로세스 동기화, 교착 방지, 소프트웨어 검증, 프로그래밍 언어: ALGOL 60, BLIS, Pascal, Ada
- Philipp Matthaus Hahn – 기계식 계산기
- 엘든 C. 홀 – 아폴로 안내 컴퓨터
- 웬디 홀
- 조지프 할펜
- Margaret Hamilton – 매우 신뢰성 높은 소프트웨어 설계
- Richard Hamming – 컴퓨터 기계 협회 설립자 Hamming 코드
- 한자웨이 – 데이터 마이닝
- Frank Harary – 그래프 이론
- Juris Hartmanis – 계산 복잡도 이론
- 요한 호스타드 – 계산 복잡도 이론
- Les Hatton –소프트웨어 장애 및 취약성
- Igor Hawryszkiewycz(1948년생) - 미국의 컴퓨터 과학자, 조직 이론가
- He Jifeng – 입증 가능한 정확한 시스템
- Eric Hahner – 서술형 프로그래밍, 공식 메서드, 인용 표기법, ALGOL
- Martin Hellman – 암호화
- Gernot Heiser –운영체제 교육, 연구, 상업화, Open Kernel Labs, OKL4, Wombat
- James Hendler – 시멘틱 웹
- John L. Hennessy – 컴퓨터 아키텍처
- 앤드류 허버트
- 칼 휴이트
- Kelsey Hightower – 오픈 소스, 클라우드 컴퓨팅
- Danny Hillis – 연결 기계
- 제프리 힌튼
- 줄리아 허쉬버그
- Tin Kam Ho – 인공지능, 기계학습
- C. A. R. Hoare – 논리, 엄격함, 통신 순차 프로세스(CSP)
- Louis Hodes(1934–2008) – 리스프, 패턴 인식, 논리 프로그래밍, 암 연구
- Betty Holberton – ENIAC 프로그래머, 첫 번째 Sort Merge Generator 개발
- John Henry Holland – 유전 알고리즘
- Herman Hollerith(1860–1929) – 펀치 카드를 사용하여 기계 판독 가능한 매체에 데이터를 기록하는 발명
- Gerard Holzmann –소프트웨어 검증, 논리 모델 체크(SPIN)
- John Hopcroft – 컴파일러
- 그레이스 호퍼 제독(1906~1992) – 초기 컴파일러 개발: FLOW-Matic, COBOL, UNIVAC 작업, 컴퓨터 역사 연설, 나노초 제공
- Eric Horvitz – 인공지능
- 올스턴 하우스홀더
- Paul Hudak(1952~2015)– Haskell 언어 설계
- 데이비드 A. Huffman(1925~1999년) - 데이터 압축에 사용되는 Huffman 부호화
- John Hughes – 화살표로 계산 구조화, Quick Check 랜덤 프로그램 테스트 프레임워크, Haskell 언어 설계
- Roger Hui – J언어 공동작성
- Watts Humphrey(1927~2010)– 퍼스널 소프트웨어 프로세스(PSP), 소프트웨어 품질, 팀 소프트웨어 프로세스(TSP)
I
- 장 이치비아 – 아다
- Roberto Ierusalimschy – Lua (프로그래밍 언어)
- Dan Ingalls – Smalltalk, BitBlt, Lively Kernel
- 메리 제인 어윈
- 케네스 E. Iverson – APL, J
J
- Ivar Jacobson – 객체 관리 그룹 통합 모델링 언어
- 아닐 자인(1948년 ~ )
- 라메시 자인
- 조너선 제임스
- 데이비드 S. 존슨
- 스티븐 C.존슨
- Cliff Jones – Vienna 개발 방법 (VDM)
- 마이클 I. 조던
- 마타이 요세프
- 아라빈드 K죠시
- Bill Joy(1954년생)– Sun Microsystems, BSD UNIX, vi, csh
- Dan Jurafsky – 자연어 처리
K
- William Kahan
- Robert E. Kahn – TCP/IP
- Avinash Kak – 디지털 이미지 처리
- Poul-Henning Camp – GBDE, FreeBSD Jails, Varnish 캐시 발명
- 데이비드 카거
- Richard Karp – NP 완전성
- Narendra Karmarkar – Karmarkar 알고리즘
- Marrek Karpinski – NP 최적화 문제
- Ted Kaehler – Smalltalk, Squak, HyperCard
- Alan Kay – Dynabook, Smalltalk, 겹치는 창
- Neeraj Kayal – AKS 프라이머리 테스트
- 마놀리스 켈리스 - 컴퓨터 생물학
- John George Kemeny – 베이직
- Ken Kennedy – 병렬 및 벡터 머신용 컴파일
- Brian Kernighan(1942년생)– Unix, AWK의 'k'자
- Carl Kesselman – 그리드 컴퓨팅
- Gregor Kiczales – CLOS, 리플렉션, 애스펙트 지향 프로그래밍
- Peter T. Kirstein – 인터넷
- Stephen Cole Kleene – Kleen 폐쇄, 재귀 이론
- Dan Klein – 자연어 처리, 기계 번역
- Leonard Kleinrock – ARPANET, 큐잉 이론, 패킷 교환, 계층형 라우팅
- Donald Knuth – The Art of Computer Programming, MIX/MMIX, TeX, 문맹 프로그래밍
- Andrew Koenig – C++
- Daphne Koller – 인공지능, 베이지안 네트워크
- 마이클 쾰링 – BlueJ
- 안드레이 니콜라예비치 콜모고로프 - 알고리즘 복잡도 이론
- Janet L. Kolodner – 케이스 기반 추론
- David Korn – Korn Shell
- Kees Koster – ALGOL 68
- Robert Kowalski – 로직 프로그래밍
- John Koza – 유전자 프로그래밍
- John Krogstie – SEQUAL 프레임워크
- Joseph Kruskal – Kruskal의 알고리즘
- Thomas E. Kurtz(1928년생) – 베이직 프로그래밍 언어; 다트머스 대학교 컴퓨터 교수
L
- 리처드 래드너
- 모니카 S.램
- Leslie Lamport – 분산 컴퓨팅용 알고리즘, LaTeX
- Butler Lampson – SDS 940, 창립 멤버 Xerox PARC, Xerox Alto, Turing Award
- Peter Landin – ISWIM, J 연산자, SECD 머신, 오프사이드 규칙, 통사설탕, ALGOL, IFIP WG 2.1 멤버, 모델 프로그래밍 언어로 고급 람다 미적분(지원 함수 프로그래밍), 표현 의미론
- Tom Lane – 독립 JPEG 그룹, PostgreSQL, Portable Network Graphics (PNG; 휴대용 네트워크 그래픽스)
- 뵈르제 랑게포르스
- Chris Ratner – Swift (프로그래밍 언어)및 LLVM 컴파일러 인프라스트럭처 작성자
- 스티브 로렌스
- 에드워드 D.라조스카
- 조슈아 레더버그
- 매니 M 리먼
- 찰스 E. Leiserson – 캐시 오비시브 알고리즘, 뛰어난 작업 도용, 알고리즘 입문 공저자
- Douglas Lenat – 인공지능, Cyc
- 얀 레쿤
- Rasmus Lerdorf – PHP
- 막스 레프친 – 가세벡 –Levkin 테스트 및 PayPal
- Leonid Levin – 계산 복잡도 이론
- 케빈 레이튼 브라운 – 인공지능
- J.C.R. 릭라이더
- 데이비드 리들
- Jochen Liettke – 마이크로커널 운영체제 Eumel, L3, L4
- John Lions – UNIX 6th Edition에 대한 Lions의 코멘트(소스 코드 포함) (Lions Book)
- Charles H. Lindsey – IFIP WG 2.1 멤버, ALGOL 68 개정 보고서
- Richard J. Lipton – 계산 복잡도 이론
- Barbara Liskov – 프로그래밍 언어
- Yanhong Annie Liu – 프로그래밍 언어, 알고리즘, 프로그램 설계, 프로그램 최적화, 소프트웨어 시스템, 최적화, 분석 및 변환, 인텔리전트 시스템, 분산 컴퓨팅, 컴퓨터 보안, IFIP WG 2.1 멤버
- Darrell Long – 컴퓨터 데이터 스토리지, 컴퓨터 보안
- 패트리샤 D. Lopez – 컴퓨팅 참여 확대
- 길리언 러브그로브
- Ada Lovelace –최초의 프로그래머
- David Luckham – Lisp, 자동 정리 증명, Stanford Pascal Verifier, 복잡한 이벤트 처리, Rational Software 공동 설립자(Ada 컴파일러)
- 유진 룩스
- 낸시 린치
M
- Nadia Magnenat Thalmann – 컴퓨터 그래픽스, 가상 배우
- 톰 마이바움
- Zohar Manna – 애매한 논리
- James Martin – 정보 엔지니어링
- 로버트 C. Martin (밥 삼촌)– 소프트웨어 장인 기술
- 존 매시
- 유리 마티야세비치 – 힐베르트의 10번째 문제 해결
- 마츠모토 유키히로 - 루비 (프로그래밍 언어)
- John Mauchly(1907~1980) – ENIAC, 최초의 범용 전자 디지털 컴퓨터 및 EDVAC, BINAC 및 UNIVAC I를 설계하여 ENIAC의 Jean Bartik 및 UNIVAC의 Grace Murray Hopper와 함께 작업하였습니다.
- 우즈발 모릭(1965–) 다목적 클러스터링 및 생물정보학
- Derek McAuley – 유비쿼터스 컴퓨팅, 컴퓨터 아키텍처, 네트워킹
- John McCarthy – 리스프(프로그래밍 언어), ALGOL, IFIP WG 2.1 멤버, 인공지능
- 앤드류 매컬럼
- Douglas McIlroy – 매크로, 파이프, Unix 철학
- Chris McKinstry – 인공지능, Mindpixel
- Marshall Kirk McKusick – BSD, Berkeley Fast File System
- Lambert Meertens – ALGOL 68, IFIP WG 2.1 멤버, ABC(프로그래밍 언어)
- Kurt Mehlhorn – 알고리즘, 데이터 구조, LEDA
- Dora Metcalf - 기업가, 엔지니어, 수학자
- 베르트랑 마이어 – 에펠 (프로그래밍 언어)
- Silvio Micali –암호화
- Robin Milner – ML (프로그래밍 언어)
- Jack Minker – 데이터베이스 로직
- Marvin Minsky – 인공지능, 퍼셉트론, Society of Mind
- 제임스 G. Mitchell – WATFOR 컴파일러, Mesa(프로그래밍 언어), 스프링(운영 체제), ARM 아키텍처
- 톰 M. 미첼
- Arvind Mithal – 대규모 디지털 시스템 정식 검증, 동적 데이터 흐름 아키텍처 개발, 병렬 컴퓨팅 프로그래밍 언어(Id, pH), 병렬 머신에서의 컴파일
- Paul Mockapetris – 도메인 네임 시스템(DNS)
- Cleve Moler – 수치 분석, MATLAB
- Faron Moller – 동시성 이론
- John P. Moon – 발명가, Apple Inc.
- 찰스 H. 무어 – 제4언어
- 에드워드 F. Moore – Moore 머신
- 고든 무어 – 무어의 법칙
- J Strother Moore – 문자열 검색, ACL2 정리 프로세서
- Roger Moore – APL\360 공동 개발, IPSANET 설립, IP Sharp Associates 공동 설립
- Hans Moravec –로봇
- Carrol Morgan – 공식 방법
- Robert Tappan Morris – Morris 웜
- Joel Moses – Macsyma
- Rajeev Motwani – 랜덤화 알고리즘
- Oleg A. Mukhanov – SeeQC의 양자 컴퓨팅 개발자, 공동 설립자 및 CTO
- Stephen Muggleton – 유도 논리 프로그래밍
- Klaus-Robert Muller – 기계학습, 인공지능
- Alan Microft – 프로그래밍 언어
- 무샤라프 M.M.Hussain – 패럴렐 컴퓨팅 및 멀티코어 디너 스케일러
N
- Mihai Nadin – 기대 조사
- 나가오 마코토 – 기계번역, 자연어 처리, 디지털 라이브러리
- Frieder Nake – 컴퓨터 아트의 선구자
- Bonnie Nardi – 인간과 컴퓨터의 상호작용
- Peter Naur(1928~2016) – Backus-Naur 폼(BNF), ALGOL 60, IFIP WG 2.1 멤버
- Roger Needham – 컴퓨터 보안
- 제임스 G. Nell – Generalized Enterprise Reference Architecture and Methodology (GERAM)
- Greg Nelson(1953–2015) – 만족도 모듈로 이론, 확장 정적 체크, 프로그램 검증, Modula-3 위원회, ESC/Java의 정리 프로버 단순화
- Bernard de Neumann – 대규모 병렬 자율 셀룰러 프로세서, 소프트웨어 엔지니어링 연구
- Klara Dan von Neumann(1911~1963년)– 초기 컴퓨터, ENIAC 프로그래머 및 컨트롤 설계자
- 존 폰 노이만(1903년-1957년) – 초기 컴퓨터, 폰 노이만 기계, 집합론, 함수 분석, 수학 선구자, 선형 프로그래밍, 양자 역학
- Allen Newell – 인공지능, 컴퓨터 구조
- Max Newman – Colosus 컴퓨터, MADM
- Andrew Ng – 인공지능, 기계학습, 로봇공학
- 닐스 존 닐슨(1933~2019)– 인공지능
- G.M. Nijssen – Nijssen의 정보 분석 방법론(NIAM) 객체 역할 모델링
- Tobias Nipkow – 증명 지원
- Maurice Nivat – 이론 컴퓨터 과학 저널, ALGOL, IFIP WG 2.1 멤버
- Phiwa Nkambule – 핀테크, 인공지능, 기계학습, 로봇공학
- Jerre Noe – 컴퓨터 뱅킹
- Peter Nordin – 인공지능, 유전자 프로그래밍, 진화 로봇
- Donald Norman – 사용자 인터페이스, 조작성
- Peter Norvig – 인공지능, 구글 리서치 디렉터
- George Novacky – 피츠버그 대학교: 조교수, 컴퓨터 공학 시니어 강사, CAS 학부학 부학장
- Kristen Nygaard – Simula, 객체 지향 프로그래밍
O
- Martin Odersky – Scala 프로그래밍 언어
- Peter O'Hearn – 분리 논리, 번치 논리, 추론 정적 분석기
- T. 윌리엄 올레 – 페란티 머큐리
- 스티브 오모훈드로
- 세베로 오른스타인
- John O'Sullivan – Wi-Fi
- John Ousterhout – TCL 프로그래밍 언어
- Mark Overmars – 비디오 게임 프로그래밍
P
- Larry Page – 구글 공동창업자
- 샹카팔
- 파리토시 판디야
- 크리스토스 파파디미트리우
- David Park(1935~1990)– Lisp의 첫 번째 구현, 공정성, 프로그램 스키마, 동시 컴퓨팅의 바이시뮬레이션 전문가
- David Parnas – 정보 숨김, 모듈러 프로그래밍
- DJ Patil – 전 미국 최고 데이터 과학자
- 예일 패트 – 명령 수준의 병렬화, 추측 아키텍처
- David Patterson – RISC(Reduced Instruction Set Computer), RISC-V, 저렴한 디스크 용장 어레이(RAID), 버클리 워크스테이션 네트워크(NOW)
- Mike Paterson – 알고리즘, 알고리즘 분석(복잡도)
- Mihai Pütrashcu
- 로렌스 폴슨– ML
- Randy Pausch(1960~2008)– 인간과 컴퓨터의 상호작용, 카네기 교수, "마지막 강의"
- Juan Pavon –소프트웨어 에이전트
- Judea Pearl – 인공지능, 검색 알고리즘
- Alan Perlis –프로그래밍
- Radia Perlman – 스패닝 트리 프로토콜
- Pier Giorgio Perotto – Oliveetti의 컴퓨터 디자이너, Programma 101 프로그램 가능 계산기 설계자
- Rossa Péter – 재귀 함수 이론
- Simon Peyton Jones – 기능 프로그래밍
- Kathy Pham – 데이터, 인공지능, 시빅 테크놀로지, 의료, 윤리
- Roberto Pieraccini – 구글의 스피치 테크놀로지스트, 엔지니어링 디렉터
- 고든 플로트킨
- Amir Pnueli – 시간 논리
- Willem van der Poel –컴퓨터 그래픽스, 로봇공학, 지리정보시스템, 이미징, 멀티미디어, 가상환경, 게임
- Cicely Popplwell(1920~1995)– 1960년대 영국의 소프트웨어 엔지니어
- Emil Post – 수학
- Jon Postel –인터넷
- Franco Preparata – 컴퓨터 엔지니어링, 컴퓨터 지오메트리, 병렬 알고리즘, 컴퓨터 생물학
- William H. Press – 수치 알고리즘
R
- 라펠랑 라바나
- Grzegorz Rozenberg – 자연 컴퓨팅, 오토마타 이론, 그래프 변환 및 동시 시스템
- Michael O. Rabin – 비결정적 기계
- Dragomir R. Radev – 자연어 처리, 정보 검색
- T. V. Raman – 접근성, Emacspeak
- Brian Randell – ALGOL 60, 소프트웨어 폴트 톨러런스, 신뢰성, 1950년 이전의 컴퓨팅 하드웨어 이력
- 앤더스 Ravn – 지속시간 계산
- Raj Reddy – 인공지능
- 데이비드 P.리드
- Trygve Reenskaug – 모델 뷰 컨트롤러(MVC) 소프트웨어 아키텍처 패턴
- John C. 레이놀즈 – 연속성, 정의 해석자, 기능해제, Forsythe, Gedanken 언어, 교차 유형, 다형성 람다 미적분, 관계 파라미터성, 분리논리, ALGOL
- 조이스 K 레이놀즈 – 인터넷
- Reinder van de Riet –편집자:데이터 및 지식 엔지니어링 유럽, COLOR-X 이벤트 모델링 언어
- Bernard Richards – 의료정보학
- Martin Richards – BCPL
- 애덤 리제
- C. J. 반 라이즈베르겐
- Dennis Ritchie – C (프로그래밍 언어), Unix
- Ron Rivest – RSA, MD5, RC4
- Ken Robinson – 공식 방법
- Colette Rolland – REMORA 방법론, 메타 모델링
- John Romero – 코드 개발 Doom
- 아즈리엘 로젠펠트
- 더글러스 T. Ross – 자동 프로그래밍 도구(APT), 컴퓨터 지원 설계, 구조 분석 및 설계 기술, ALGOL X
- Guido van Rossum – Python (프로그래밍 언어)
- M. A. Rothman – UEFI
- 윈스턴 W. Royce – 폭포수 모델
- Rudy Rucker – 수학자, 작가, 교육자
- Steven Rudich – 복잡성 이론, 암호학
- 제프 룰리프슨
- James Rumbaugh – 객체 관리 그룹 통합 모델링 언어
- 피터 루지치카 – 슬로바키아의 컴퓨터 과학자, 수학자
S
- 조지 사도스키
- 우마르 사이프
- Gerard Salton – 정보 검색
- Jean E. Sammet – 프로그래밍 언어
- Claude Sammut – 인공지능 연구원
- Carl Sassenrath –운영체제, 프로그래밍 언어, Amiga, REBOL
- Mahadev Satyanarayanan – 파일 시스템, 분산 시스템, 모바일 컴퓨팅, 퍼베이시브 컴퓨팅
- Walter Savitch – 복잡도 클래스 NL, Savitch 정리, 자연어 처리, 수리 언어학 발견
- 조너선 셰퍼
- 빌헬름 쉬카드 – 최초의 계산기 중 하나
- 위르겐 슈미트후버 – 인공지능, 딥러닝, 인공신경망, 반복신경망, 괴델기계, 인공호기심, 메타러닝
- Steve Schneider – 공식 방법, 보안
- Bruce Schneier –암호화, 보안
- Fred B. Schneider – 동시 및 분산 컴퓨팅
- Sarita Schoenebeck - 인간과 컴퓨터의 상호작용
- Glenda Schroeder – 명령줄 셸, 이메일
- Bernhard Schölkopf – 기계학습, 인공지능
- Dana Scott – 도메인 이론
- Michael L. Scott – 프로그래밍 언어, 알고리즘, 분산 컴퓨팅
- Robert Sedgewick – 알고리즘, 데이터 구조
- Ravi Sethi – 컴파일러, 두 번째 드래곤북
- 나이젤 샤드볼트
- Adi Shamir – RSA, 암호 분석
- Claude Shannon – 정보 이론
- 데이비드 E. 쇼 – 컴퓨터 금융, 컴퓨터 생화학, 병렬 아키텍처
- Cliff Shaw –시스템 프로그래머, 인공지능
- Scott Shenker –네트워킹
- Ben Shneiderman – 인간과 컴퓨터의 상호작용, 정보 시각화
- 에드워드 H. Shortlife – MYCIN(의료진단 전문가 시스템)
- Daniel Siewiorek – 전자 설계 자동화, 신뢰성 컴퓨팅, 컨텍스트 인식 모바일 컴퓨팅, 웨어러블 컴퓨팅, 컴퓨터 지원 설계, 신속한 프로토타이핑, 폴트 톨러런스
- Joseph Sifakis – 모델 확인
- 허버트 A. Simon – 인공지능
- 무닌다르 P. Singh – 멀티에이전트 시스템, 소프트웨어 엔지니어링, 인공지능, 소셜 네트워크
- Ramesh Sitaraman – Akamai의 고성능 네트워크 구축 지원
- Daniel Sleator – 스플라이 트리, 상각 분석
- Aaron Sloman – 인공지능 및 인지과학
- Arne Sölvberg – 정보 모델링
- Brian Cantwell Smith – 리플렉션 (컴퓨터 사이언스), 3lisp
- David Canfield Smith – 인터페이스 아이콘 발명, 시연 프로그래밍, 그래픽 사용자 인터페이스 Xerox Star 개발, Xerox PARC 연구원, Dest Systems, Cognition 공동 설립
- Steven Speak – 엔터프라이즈 아키텍처 계획
- 캐롤 스프래들링
- 로버트 스프룰
- Rohini Kesavan Srihari – 정보 검색, 텍스트 분석, 다국어 텍스트 마이닝
- Sargur Srihari – 패턴 인식, 머신 러닝, 컴퓨터 범죄학, CEDAR-FOX
- Maciej Stachowiak – GNOME, Safari, WebKit
- Richard Stallman(1953년생)– GNU 프로젝트
- 로널드 스탬퍼
- 리처드 E. Stearns – 계산 복잡도 이론
- 가이 L. 스틸 주니어– 스킴, 커먼 리스프
- Thomas Sterling – 베어울프 클러스터 작성자
- Alexander Stephanov – 범용 프로그래밍
- W. Richard Stevens(1951~1999년)– TCP/IP Illustrated 및 Unix 환경에서의 Advanced Programming 등의 저서를 집필했습니다.
- Larry Stockmeyer – 계산의 복잡성, 분산 컴퓨팅
- Salvatore Stolfo – 컴퓨터 보안, 머신 러닝
- Michael Stonebraker – 관계형 데이터베이스 프랙티스와 이론
- Olaf Storaasli – 유한 요소 기계, 선형 대수, 고성능 컴퓨팅
- Christopher Stracey – 상징적 의미론
- Volker Strassen – 행렬 곱셈, 정수 곱셈, Solovay – Strassen 원시성 테스트
- Bjarne Stroustrup – C+
- Madhu 수단 – 계산 복잡도 이론, 코딩 이론
- Gerald Jay Sussman –
- Bert Sutherland – 그래픽스, 인터넷
- Ivan Sutherland – 그래픽스
- Latanya Sweeney - 데이터 프라이버시와 알고리즘의 공정성
- Mario Szegedy – 복잡성 이론, 양자 컴퓨팅
T
- Parisa Tabriz – 구글 엔지니어링 디렉터(보안 공주라고도 함)
- Roberto Tamassia – 컴퓨터 지오메트리, 컴퓨터 보안
- 앤드류 S. Tanenbaum –운영체제, MINIX
- Austin Tate –인공지능 애플리케이션, AI 플래닝, 가상세계
- Bernhard Thalheim – 개념 모델링 기반
- 에바 타르도스
- 가보르 타르도스
- Robert Tarjan – 스플라이 트리
- 발레리 테일러
- Mario Tchou – 이탈리아 엔지니어, 중국계, Olivetti Elea 프로젝트 리더
- 제이미 티반
- 샹화텅 – 알고리즘 분석
- Larry Tesler – 인간과 컴퓨터의 상호작용, 그래피컬 사용자 인터페이스, Apple Macintosh
- Avie Tevanian – Mach 커널 팀, NeXT, Mac OS X
- 찰스 P. Thacker – Xerox Alto, Microsoft Research
- Daniel Thalmann – 컴퓨터 그래픽스, 가상 배우
- Ken Thompson – Unix
- Sebastian Thrun – AI 연구자, 자율주행 개척자
- 월터 F. Tichy – RCS
- 토다 세이노스케 – 계산 복잡도, 1998년 Gödel Prize 수상
- Linus Torvalds – Linux 커널, Git
- 레오나르도 토레스 이 퀘베도 – 1912년 인간의 안내 없이 체스를 두기 위해 만들어진 진정한 자동 기계인 엘 아제드레키스타 (체스 선수)를 발명했다.그의 작품 Essays on Automatics (1913)에서 부동소수점 산수의 개념을 도입했다.1920년에 분석 엔진의 초기 전기 기계 장치를 제작했습니다.
- Godfried Toussaint – 컴퓨터 기하학, 컴퓨터 음악 이론
- 글로리아 타운센드
- 에드윈 E. Tozer – 비즈니스 정보 시스템
- Joseph F Traub – 과학적 문제의 계산 복잡성
- John V. Tucker – 계산 가능성 이론
- John Tukey – FFT 알고리즘, 상자 그림, 탐색 데이터 분석 및 용어 '비트'의 창시자
- 앨런 튜링(1912~1954)– 영국의 컴퓨팅 선구자, 튜링 머신, 알고리즘, 암호학, 컴퓨터 아키텍처
- David Turner – SASL, Kent Recursive Calculator, 미란다, IFIP WG 2.1 멤버
- Murray Turoff – 컴퓨터 매개 커뮤니케이션
U
V
- Leslie Valiant – 계산 복잡성 이론, 계산 학습 이론
- Vapnik – 패턴 인식, 컴퓨터 학습 이론
- Moshe Vardi - Rice University 컴퓨터 공학 교수
- 도로시 본
- 우메쉬 바지라니
- 마누엘라 M벨로소
- Francia Vernadat – 엔터프라이즈 모델링
- Richard Veryard – 엔터프라이즈 모델링
- Sergiy Vilkomir – 소프트웨어 테스트, RC/DC
- Paul Vitani – Kolmogorov 복잡성, 정보 거리, 정규화된 압축 거리, 정규화된 Google 거리
- Andrew Viterbi – Viterbi 알고리즘
- Jeffrey Scott Vitter – 외부 메모리 알고리즘, 압축 데이터 구조, 데이터 압축, 데이터베이스
- Paul Vixie – DNS, BIND, PAIX, 인터넷 소프트웨어 컨소시엄, MAPS, DNSBL
W
- Eiiti Wada – ALGOL N, IFIP WG 2.1 멤버, 일본공업표준(JIS) X 0208, 0212, Happy Hacking 키보드
- David Wagner –보안, 암호화
- 데이비드 왈츠
- 제임스 Z왕
- 스티브 워드
- 맨프레드 K Warmuth – 컴퓨터 학습 이론
- David H. D. Warren – AI, 논리 프로그래밍, 프롤로그, Warren Abstract Machine (WAM)
- 케빈 워릭 – 인공지능
- 얀 웨글라스
- Philip Wadler – 기능 프로그래밍, Haskell, Monad, Java, Logic
- Peter Wegner – 객체 지향 프로그래밍, 인터랙션(컴퓨터 사이언스)
- Joseph Henry Wegstein – ALGOL 58, ALGOL 60, IFIP WG 2.1 멤버, 데이터 처리 기술 표준, 지문 분석
- Peter J. Weinberger – 프로그래밍 언어 설계, AWK의 'w'
- Mark Weiser –유비쿼터스 컴퓨팅
- Joseph Weizenbaum – 인공지능, ELIZA
- David Wheeler – EDSAC, 서브루틴
- 프랭클린 H. Westerbelt – 엔지니어링 교육에서의 컴퓨터 사용, 컴퓨터 대화 사용, 미시간 터미널 시스템(MTS), ARPANET, 원격 학습
- Steve Whittaker – 컴퓨터 조작, 공동 작업 컴퓨터 지원, 소셜 미디어
- Jennifer Widom –기존과는 다른 데이터 관리
- Gio Wiederhold – 데이터베이스 관리 시스템
- Norbert Wiener – 사이버네틱스
- Adrian van Wijngaarden – 네덜란드의 개척자; ARRA, ALGOL, IFIP WG 2.1 멤버
- Mary Allen Wilkes – LINC 개발자, 어셈블리 링커 설계자
- Maurice Vincent Wilkes – 마이크로프로그래밍, EDSAC
- Yorick Wilks – 컴퓨터 언어학, 인공지능
- 제임스 H. Wilkinson – 수치 분석
- Sophie Wilson – ARM 아키텍처
- Shmuel Winograd – Coppersmith – Winograd 알고리즘
- Terry Winograd –인공지능, SHRDLU
- Patrick Winston – 인공지능
- Niklaus Worth – ALGOL W, IFIP WG 2.1 멤버, Pascal, Modula, Oberon
- Neil Wiseman – 컴퓨터 그래픽스
- 데니스 E. Wisnosky – 통합 컴퓨터 지원 제조(ICAM), IDEF
- 스티븐 울프람 – 매스매티카
- Mike Woodger – 파일럿 ACE, ALGOL 60, Ada (프로그래밍 언어)
- Philip Woodward – 모호성 함수, sync 함수, 빗살 연산자, rep 연산자, ALGOL 68-R
- Beatrice Helen Worsley – 현대 컴퓨터에 관한 최초의 박사학위 논문을 작성했습니다.Transcode를 쓴 사람 중 한 명입니다.
- Steve Wozniak – Apple Computer에서 1세대 PC 엔지니어링 완료
- Jie Wu – 컴퓨터 네트워크
- William Wulf – BLIS 시스템 프로그래밍 언어 + 최적화 컴파일러, Hydra 운영체제, Tartan Laboraties
Y
- 미할리스 야나카키스
- 앤드류 치치야오
- 존 옌
- 요네다 노부오 – 요네다 레마, 요네다 제품, ALGOL, IFIP WG 2.1 멤버
- Edward Yourdon – 구조화 시스템 분석 및 설계 방법
- 모티 융
Z
- Lotfi Zadeh – 애매한 논리
- Hans Zantema – 종료 분석
- Arif Zaman – 의사 난수 발생기
- Stanley Zdonik - 데이터베이스 관리 시스템
- Hussein Zedan – 공식 방법과 실시간 시스템
- Shlomo Zilberstein – 인공지능, 언제든지 알고리즘, 자동화된 계획, 분산형 POMDP
- Jill Zimmerman –Beall Goucher College 수학 및 컴퓨터 공학 교수
- Konrad Zuse – 독일 하드웨어 및 소프트웨어 선구자
