크리스 토프스
Chris ToftsChris M. N. Tofts(1964년생)는 영국의 컴퓨터 [1]과학자입니다.
교육
Chris Topts는 Cambridge Clare College에서 학부생으로 수학을 공부했고, 그 후 같은 대학에서 컴퓨터 과학 학위를 받았습니다.그는 스코틀랜드 에든버러 대학의 컴퓨터 과학 연구소에서 로빈 밀너의 지도 하에 박사학위를 받았다.
직업
토프츠의 박사후 연구는 동물과 질병 과정의 행동에 대한 연구에 프로세스 대수학의 첫 번째 응용을 보았고, 이는 [2]시뮬레이션 모델의 정확성에 대한 그의 관심을 이끌었다.
토프츠는 스완지 대학교(1992-94), 맨체스터 대학교(1994-96), 리즈 대학교(1996-99)[1]에서 강의직을 가졌다.1999년부터 2008년까지 그는 영국의 Hewlett-Packard(HP) Research Laboratorys에서 과학자로 근무했습니다.2008년부터 2011년까지 Concinnitas[3] Ltd의 최고 수학 책임자로 있다가 HP로 복귀했습니다.
크리스 토프츠는 스완지 대학의 컴퓨터 공학 초빙 교수입니다.그는 영국컴퓨터학회 펠로우이자 수학연구소 및 응용연구소의 펠로우이며, BCTCS의 [4]전 회장입니다.
책들
- Chris Topts, 동시성, 복잡성 및 퍼포먼스, Springer, 2007. ISBN0-387-95438-4.
레퍼런스
- ^ a b Chris Tofts, Linked In입니다.
- ^ 사이언티픽 커먼스의 크리스 토프츠입니다
- ^ Concinnitas Ltd 웹사이트 2009년 7월 27일 Wayback Machine에 보관.
- ^ 이론 컴퓨터 과학에 대한 영국 토론회 웹사이트.
