refimprove date September 2009 A computerscientist is a scientist who has acquired knowledge of computer ... scientist List of computer scientists List of computing people List of Russian computer scientists Data structure Computer ethics Software engineer References reflist DEFAULTSORT ComputerScientist ... in computer systems. Computer scientists typically work on the theoretical side of computer systems, as opposed to the hardware side that computer engineer s mainly focus on although there is overlap . Although computer scientists can also focus their work and research on specific areas such as algorithm ... , database theory , computational complexity theory , human computer interaction , numerical analysis , computer programming , programming language theory , computer graphics , and computer vision , their foundation ... www.bls.gov oco ocos304.htm ref Education Most computer scientists are required to possess a Ph.D. in Computer Science, Information Technology, Computer Engineering , or a closely related discipline. For some positions, a bachelor s degree in a computer related field may be adequate. ref http www.bls.gov oco ocos304.htm ref A strong aptitude for math is important for a computerscientist. Good communication skills are also important for a computerscientist. Since computer scientists often work in teams on large projects, they must be able to communicate effectively with computer personnel, such as programmers and managers, as well as with users or other staff who may have no technical computer ... in the computer field that continuous study is necessary to keep skills up to date. Continuing education ... Computer scientists are often hired by software publishing firms, scientific research and development organizations where they develop the theories that allow new technologies to be developed. Computer scientists are also employed by educational institutions as well such as universities . Computer ... development, web development, and database programming. Computer scientists can also be found in the field ... more details
distinguish John F. Hughes computerscientist Image John Hughes computerscientist .jpg thumb John Hughes R. John M. Hughes is a computerscientist who does research in the field of programming languages and the author of several influential research papers on the subject, including Why Functional Programming Matters . ref Cite journal last Hughes first John title Why Functional Programming Matters journal Computer Journal volume 32 issue 2 pages 98 107 year 1989 url http www.cse.chalmers.se rjmh Papers whyfp.html accessdate May 6, 2010 doi 10.1093 comjnl 32.2.98 ref He is a professor in the department of Computing Science at the Chalmers University of Technology . Hughes is a member of the Functional Programming group at Chalmers, and much of his research relates to the Haskell programming language . He is also one of the developers of QuickCheck . References references External links http www.chalmers.se cse EN people hughes john John Hughes s home page Persondata Metadata see Wikipedia Persondata . NAME Hughes, John ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Hughes, John Category Living people Category Computer scientists Category Programming language researchers Category Members of IFIP Working Group 2.8 Compu scientist stub sv John Hughes professor ... more details
David Peleg lang he is an Israelis Israeli computerscientist. He is a professor at the Weizmann Institute of Science , holding the Norman D. Cohen Professorial Chair of Computer Sciences, and the present dean of the Faculty of Mathematics and Computer Science in Weizmann Institute. ref http www.weizmann.ac.il acadaff Scientific Activities 2008 Chairs.html Scientific Activities 2008 Weizmann Professorial Chairs, CDC s and Fellowships . ref He received his Ph.D. from the Weizmann Institute under the supervision of David Harel . He has published numerous papers and a book, chaired leading conferences in computer science, and is an editor of several scientific journals. In 2008, he was awarded the Dijkstra Prize Edsger W. Dijkstra Prize in Distributed Computing along with Baruch Awerbuch for their 1990 paper Sparse partitions. ref http www.podc.org dijkstra 2008.html Edsger W. Dijkstra Prize in Distributed Computing 2008 . ref Selected publications citation first1 Baruch last1 Awerbuch first2 David last2 Peleg title Symposium on Foundations of Computer Science Proceedings of the 31st Annual Symposium on Foundations of Computer Science FOCS 1990 contribution Sparse partitions pages 503 513 year 1990 doi 10.1109 FSCS.1990.89571 . Dijkstra Prize 2008. citation first David last Peleg title Distributed Computing A Locality Sensitive Approach publisher Society for Industrial and Applied Mathematics SIAM year 2000 isbn 0 89871 464 8 url http www.ec securehost.com SIAM DT05.html mr 1790362 Notes Reflist References http www.wisdom.weizmann.ac.il peleg David Peleg s home page . http genealogy.math.ndsu.nodak.edu id.php?id 19237 Mathematics Genealogy Project David Peleg . Persondata ... computer science DATE OF BIRTH PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Peleg, David Category Living people Category Israeli computer scientists Category Theoretical computer scientists ... Prize laureates Israel scientist stub compu scientist stub es David Peleg ... more details
Persondata . NAME Park, David ALTERNATIVE NAMES SHORT DESCRIPTION British computerscientist DATE OF BIRTH ... 1935 births Category 1990 deaths Category British computer scientists Category Computerscientist stubs Category Massachusetts Institute of Technology alumni compu scientist stub ...Infobox scientist name David Park image filename only image size caption birth date 1935 birth place death date death date 1990 09 29 death place nationality flag GBR name British fields Mathematics workplaces University of Cambridge alma mater Massachusetts Institute of Technology doctoral advisor Hartley Rogers, Jr. doctoral students Mike Paterson br Peter Welch mathematician Peter Welch known for awards David Michael Ritchie Park 1935 29 September 1990 was a British computerscientist. He worked on the first implementation of LISP . ref Citation last McCarthy first J. author link John McCarthy computerscientist last2 Brayton first2 R. author2 link Robert Brayton computerscientist last3 Edwards first3 D. author3 link Daniel Edwards programmer last4 Fox first4 P. author4 link Phyllis Fox last5 Hodes first5 L. author5 link Louis Hodes last6 Luckham first6 D. author6 link David Luckham last7 Maling first7 K. author7 link Klim Maling programmer last8 Park first8 D. last9 Russell first9 S. author9 link Steve Russell title LISP I Programmers Manual place Boston , Massachusetts publisher Artificial Intelligence Group, M.I.T. Computation Center and Research Laboratory of Electronics at MIT Research Laboratory origyear year 1960 month March volume edition chapter chapterurl page pages url http history.siam.org sup Fox 1960 LISP.pdf archiveurl archivedate doi id isbn Accessed May 11, 2010. ref He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing . ref Obituary Professor David Michael Ritchie Park , M.S. Paterson, Formal Aspects of Computing, Springer London, ISSN 0934 5043 Print 1433 299X Online , v.2, 1 March, 1990 DOI 10.1007 ... more details
Infobox scientist name Peter Robinson image caption Peter Robinson birth date 1952 birth place England death date death place residence Cambridge , England nationality United Kingdom British field ComputerScientist work institution Cambridge University alma mater Cambridge University doctoral advisor Neil Wiseman doctoral students known for prizes religion footnotes Peter Robinson is Professor of Computer Technology and Deputy Head of Department at the University of Cambridge University of Cambridge Computer Laboratory Computer Laboratory in England , where he leads the Rainbow Group working on computer graphics and interaction. He is also a Fellow and Director of Studies in Computer Science at Gonville and Caius College where he previously studied for a first degree in Mathematics and a PhD in Computer Science under Neil Wiseman . External links http www.cl.cam.ac.uk pr10 Peter Robinson s home page http www.cl.cam.ac.uk Computer Laboratory Persondata Metadata see Wikipedia Persondata . NAME Robinson, Peter ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH 1952 PLACE OF BIRTH England DATE OF DEATH PLACE OF DEATH DEFAULTSORT Robinson, Peter Category 1952 births Category Living people Category British computer scientists Category Fellows of the British Computer Society Category Alumni of Gonville and Caius College, Cambridge Category Fellows of Gonville and Caius College, Cambridge Category Members of the University of Cambridge Computer Laboratory Category People educated at King s College School, Wimbledon ... more details
Infobox scientist name Scott E. Hudson image ScottEHudson.jpg image size 171px residence Pittsburgh, PA citizenship USA nationality USA field Human Computer Interaction work institutions Carnegie Mellon University alma mater University of Colorado at Boulder University of Colorado PhD prizes CHI Academy Scott E. Hudson is a professor in the Human Computer Interaction Institute at Carnegie Mellon University . He was previously an Associate Professor in the College of Computing at the Georgia Institute of Technology and prior to that an Assistant Professor of Computer Science at the University of Arizona . He earned his Ph.D. in Computer Science at the University of Colorado at Boulder University of Colorado in 1986. Hudson has published over 100 technical papers and is presently the 13th most prolific author in the field. ref name HCI Bibliography Most Frequent Authors http www.hcibib.org authors.html HCI Bibliography Most Frequent Authors. URL retrieved 21st April 2008. ref ref name ACM Author Page Scott E. Hudson http portal.acm.org author page.cfm?id 81328488846 ACM Author Page Scott E. Hudson. URL retrieved 22st April 2008. ref He was elected to the prestigious CHI Academy in 2006, and regularly serves on the Association for Computing Machinery ACM SIGCHI and UIST conference program committees. He is also a founding Associate Editor for ACM Transactions on Computer Human Interaction TOCHI . Hudson was the first and founding director of the Ph.D. Program in Human Computer Interaction at Carnegie Mellon University . References reflist External links http www.cs.cmu.edu hudson Scott Hudson s website http www.hcii.cmu.edu Human Computer Interaction Institute Persondata Metadata ... PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Hudson, Scott E Category American computer scientists Category Human computer interaction researchers Category Living people Category Human Computer ... of Arizona faculty Category University of Colorado alumni US compu bio stub compu scientist stub ... more details
Category Year of birth missing living people Category Living people Category English computer scientists ... University England scientist stub ... more details
for the chef Fergus Henderson Multiple issues coi June 2008 notability June 2008 primarysources June 2008 Infobox scientist name Fergus Henderson birth date 1971 residence United States nationality Australia n field Computer science work institution Google alma mater University of Melbourne doctoral advisor Zoltan Somogyi known for Mercury programming language Fergus Henderson born 1971 is a computer scientist who was one of the original developers of the Mercury programming language . He is the maintainer for Distcc . ref cite mailing list last Pool first Martin authorlink Martin Pool title new distcc maintainer Fergus Henderson mailinglist distcc url http lists.samba.org archive distcc 2008q2 003647.html date 6 June 2008 accessdate 2008 06 11 ref He now works for Google . References Reflist External links http fergus.henderson.googlepages.com Henderson s home page http www.cs.mu.oz.au fjh Old home page http www.informatik.uni trier.de ley db indices a tree h Henderson Fergus.html Publications Persondata Metadata see Wikipedia Persondata . NAME Henderson, Fergus ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH 1971 PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Henderson, Fergus Category Living people Category 1971 births Australia bio stub compu scientist stub ... more details
Primary sources date October 2010 Ted Lewis is an American computer science computerscientist and mathematician . A professor at the Naval Postgraduate School and formerly a professor at Oregon State University , he has also held positions at Eastman Kodak Company , for which he served as Director, Digital Business Development and Senior Vice President, and DaimlerChrysler Research and Technology, North America, Inc., where he was President and CEO. Lewis has written or co authored 30 books, including The Friction Free Economy , Distributed and Parallel Computing , and Microsoft Rising . A columnist for IEEE Internet Computing , he has contributed pieces to Scientific American and Upside magazine Upside . He has served two stints of Editor in Chief, at IEEE Software from 1987 to 1990 and at Computer magazine Computer from 1993 to 1994. References http www.nps.edu Academics centers ccc people lewis.html Ted Lewis s web site Persondata Metadata see Wikipedia Persondata . NAME Lewis, Ted ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Lewis, Ted Category American computer scientists Category Naval Postgraduate School faculty Category Oregon State University faculty Category Living people ... more details
Image Hml2f.jpg thumb Hank Levy, 2008 Henry M. Levy Hank Levy is an United States American computerscientist . He holds the Wissner Slivka Chair in Computer Science and Engineering at the University of Washington U.W. . ref http www.cs.washington.edu homes levy Hank Levy s home page , University of Washington. Accessed 5 December 2007 ref Levy s research concerns operating system s, distributed computing distributed systems , internet the internet , and computer architecture . In his early career, Levy worked at Digital Equipment Corporation DEC , where he was a member of the design and engineering team for the OpenVMS VMS operating system for the VAX computer. His graduate work resulted in the book Capability Based Computer Systems . ref http www.cs.washington.edu homes levy capabook Capability Based Computer Systems ref He joined the University of Washington Department of Computer Science and Engineering in 1983 and is now Chair of the department. He was involved with several early object oriented distributed systems Eden and Emerald programming language Emerald , and also with the invention of simultaneous multithreading . Levy co founded two startups, Performant founded in 2000 and acquired by Mercury in 2003 , and Skytap founded in 2006 . He is a member of the National Academy of Engineering NAE , a fellow of the Association for Computing Machinery ACM , and a fellow of the Institute of Electrical and Electronics Engineers IEEE . Levy is also curator of an art collection for the Paul G. Allen Center, home of the Department of Computer Science and Engineering. The resulting collection represents 22 artists, each with some connection to the University of Washington. Artists ... in the Family Art in the Allen Center , University of Washington Computer Science and Engineering, Accessed ... Levy, Hank Category American computer scientists Category Year of birth missing living people Category Living people US compu bio stub Compu scientist stub ... more details
Distinguish2 David A. Wheeler , also a computerscientist Infobox scientist name David John Wheeler image caption birth date birth date 1927 2 9 df y birth place Birmingham death date death date and age 2004 12 13 1927 2 9 df y death place residence nationality field Computer Science work institution alma mater doctoral advisor doctoral students known for Burrows Wheeler transform , Wheeler Jump prizes ... 2 References reflist External links Commons category David Wheeler computerscientist http www.cbi.umn.edu ... www.cl.cam.ac.uk misc obituaries wheeler title Cambridge Computer Laboratory Obituaries David Wheeler ... format work accessdate 2011 07 21 location London date 22 December 2004 ref was a computerscientist . He was born in Birmingham and gained a scholarship at Trinity College, Cambridge to read mathematics , graduating in 1948. He completed the world s first PhD in computer science in 1951 ... called Wheeler Jump . He was responsible for the implementation of the CAP computer , the first to be based ... of Cambridge University of Cambridge Computer Laboratory Computer Laboratory until his death. In 1994 he was inducted as a Fellow of the Association for Computing Machinery . In 2003 he was a Computer History Museum Fellow Award recipient. Wheeler is often quoted as saying All problems in computer ... Digital Computer by Maurice Wilkes , David Wheeler, and Stanley Gill original 1951 reprinted .... Golub discusses the construction of the ILLIAC computer, the work of Ralph Meager and David Wheeler on the ILLIAC design, British computer science, programming, and the early users of the ILLIAC at the University ...?id 89 Computer History Museum Fellow Award in 2003. Use dmy dates date May 2011 Persondata Metadata ..., David Category 1927 births Category 2004 deaths Category Computer pioneers Category British computer scientists Category Fellows of the Royal Society Category Fellows of the British Computer Society ... of Cambridge Computer Laboratory Category Alumni of Trinity College, Cambridge Category Fellows ... more details
NOTOC John S. Fitzgerald born 1965 is a British computerscientist and Chair of Formal Methods Europe . He is a Reader in the School of Computing Science at Newcastle University , United Kingdom UK , where he works as a member of the Centre for Software Reliability . ref http www.csr.ncl.ac.uk Centre for Software Reliability , Newcastle University , UK. ref His research interests are in the area of dependability dependable computer system s and formal methods , with a background in the Vienna Development Method VDM . ref http www.vdmportal.org VDM portal . ref He is a committee member of BCS FACS . Education Fitzgerald was born in Belfast Fact date May 2008 and was educated at Bangor Grammar School and The University of Manchester . He holds the BSc in Computing and Information Systems and the PhD degrees from the http www.cs.man.ac.uk Department of Computer Science at Manchester. Selected books Bicarregui, J.C., Fitzgerald, J.S. and Lindsay, P.A. et al., Proof in VDM a Practitioner s Guide . Springer Verlag Formal Approaches to Computing and Information Technology FACIT , 1994. ISBN 3 540 19813 X. Fitzgerald, J.S. and Larsen, P.G., Modelling Systems Practical Tools and Techniques in Software Engineering . Cambridge University Press , 1998. ISBN 0 521 62348 0. Japanese Edition pub. Iwanami Shoten , 2003. ISBN 4 00 005609 3. Fitzgerald, J.S., Larsen, P.G., Mukherjee, P. et al., Validated Designs for Object oriented Systems . Springer Verlag , 2005. ISBN 1 85233 881 4. See also Colleagues at Newcastle University Cliff Jones computerscientist Cliff Jones Brian Randell References reflist External links http www.cs.ncl.ac.uk people home.php?id 129 Home page http www.cs.ncl.ac.uk research pubs authors byType.php?id 129 Publications Persondata Metadata see Wikipedia Persondata ... People from Belfast Category Alumni of the University of Manchester Category British computer scientists Category Formal methods people Category Academics of Newcastle University Category Computer ... more details
One source date November 2009 refimproveBLP date November 2010 Infobox scientist name William R. Cook citizenship United States fields Computer science workplaces University of Texas at Austin , Apple Inc. , HP Labs alma mater Brown University doctoral advisor Peter Wegner known for Denotational semantics of Inheritance computer science Inheritance Object oriented programming AppleScript William R. Cook born 1963 is an Associate Professor in the Department of Computer Sciences at University of Texas at Austin . He received his Ph.D. in Computer Science in 1989 at Brown University . His research concentrates on object oriented programming, programming languages, modeling languages, and the interface between programming languages and databases. Prior to joining UT in 2003, he was Chief Technology Officer and co founder of Allegis Corporation, where he was chief architect for several award winning products, including the eBusiness Suite at Allegis, the Writer s Solution for Prentice Hall, and the AppleScript language at Apple Computer. At HP Labs his research was on the foundations of object oriented languages, including formal models of mixins, inheritance, and typed models of object oriented languages. Selected papers http www.cs.utexas.edu wcook papers InheritanceSubtyping90 CookPOPL90.pdf Inheritance is not subtyping , Proceedings of the 17th ACM SIGPLAN SIGACT symposium on Principles of programming languages 1990 External links http www.cs.utexas.edu wcook Persondata Metadata see Wikipedia Persondata . NAME Cook, William ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Cook, William Category American computer scientists Category University of Texas at Austin faculty Category Brown University alumni Category Living people US compu bio stub Compu scientist stub ... more details
Unsourced image removed File Martin Richards.gif Martin Richards is a British computerscientist best known for his development of the BCPL programming language which is both part of early research into portability portable software , and the ancestor of the B programming language B programming language invented by Ken Thompson in early versions of Unix and which Dennis Ritchie in turn used as the basis of his widely used C programming language C programming language . Richards studied mathematics as an undergraduate student at University of Cambridge Cambridge University and took the Cambridge Diploma in Computer Science . His PhD was on programming language design and implementation. He was a senior lecturer at the University of Cambridge Computer Laboratory until his retirement in 2007. In addition to BCPL Richards work includes the development of the TRIPOS portable operating system . He was awarded the IEEE Computer Society s Computer Pioneer Award in 2003 for pioneering system software portability through the programming language BCPL . Richards is a fellow of St John s College, Cambridge St Johns College at the University of Cambridge . External links http www.cl.cam.ac.uk users mr Martin Richards Home Page http www.computer.org computer homepage 0604 connection Martin Richards receives IEEE Computer Society Computer Pioneer Award Persondata Metadata see Wikipedia Persondata . NAME Richards, Martin ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Richards, Martin Category Living people Category Members of the University of Cambridge Computer Laboratory Category Programming language designers es Martin Richards it Martin Richards no Martin Richards informatiker pt Martin Richards ... more details
Dr. Paul M. Horn is an United States American computerscientist and solid state physicist who has made contributions to pervasive computing , pioneered the use of copper and self assembly in chip manufacturing, and he helped manage the development of deep computing , an important tool that provides business decision makers with the ability to analyze and develop solutions to very complex and difficult problems. He has, at various times, been Senior Vice President of the IBM Corporation and Executive Director of Research. He is currently a New York University NYU Distinguished Scientist in Residence and NYU Stern Executive in Residence. External links http www.research.ibm.com about pmhorn.shtml Dr. Paul Horn at IBM Research http www 03.ibm.com press us en biography 10061.wss Dr. Paul Horn at IBM Press http www.monitortalent.com talent Paul Horn Profile.html Monitor Profile Persondata Metadata see Wikipedia Persondata . NAME Horn, Paul ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Horn, Paul Category Year of birth missing living people Horn, Paul Category Clarkson University alumni Horn, Paul Category IBM employees Horn, Paul Category American computer scientists Horn, Paul Category Computer hardware researchers Category Computer systems researchers Category Living people Horn, Paul compu scientist stub ... more details
Infobox scientist image thumb image size 100px name Henri Gouraud birth date 1944 birth place France death date death place residence citizenship nationality ethnicity field Computer science work institutions alma mater University of Utah br cole Centrale Paris doctoral advisor doctoral students known for Gouraud Shading author abbrev bot author abbrev zoo influences influenced awards religion footnotes signature Henri Gouraud born 1944 is a France French computerscientist . He is the inventor of Gouraud shading used in computer graphics . He is the great nephew of general Henri Gouraud soldier Henri Gouraud . During 1964&ndash 1967, he studied at cole Centrale Paris . He received his Ph.D. from the University of Utah University of Utah College of Engineering College of Engineering in 1971, working with David C. Evans Dave Evans and Ivan Sutherland , for a dissertation entitled http portal.acm.org citation.cfm?id 905323&dl ACM&coll portal Computer Display of Curved Surfaces . The famous human face images showing the effect of his shading were done using his wife Sylvie Gouraud as the model. ref cite web title Images de synth se palme de la long vit pour l ombrage de Gouraud url http interstices.info jcms c 25256 images de synthese palme de la longevite pour lombrage de gouraud ref Original publications H. Gouraud, Continuous shading of curved surfaces, IEEE Transactions on Computers , C 20 6 623&ndash 629, 1971. H. Gouraud, Computer Display of Curved Surfaces , Doctoral Thesis, University of Utah , USA , 1971. H. Gouraud, Continuous shading of curved surfaces . In Rosalee Wolfe editor , http www.siggraph.org publications seminal graphics.html Seminal Graphics Pioneering ... links http www.univ reims.fr Labos LERI Afig99 biographie.html Biography written by a computer graphics ... Gouraud, Henri Category 1944 births Category Alumni of the cole Centrale Paris Category Computer graphics professionals Category Computer graphics researchers Category French computer scientists ... more details
About Steve Reeves computerscientist Steve Reeves actor Steve Reeves Infobox scientist image name Steve Reeves birth date 31 October 1957 birth place Brighton , England residence New Zealand nationality United Kingdom British field Computer science , software engineering , formal methods work institution University of Waikato University of Essex Queen Mary, University of London alma mater University of Birmingham Prof. Steve Reeves is a computerscientist based at the University of Waikato in New Zealand . ref http www.cs.waikato.ac.nz stever Steve Reeves Personal Web Page , http www.cs.waikato.ac.nz Department of Computer Science , University of Waikato , New Zealand. ref He is the Associate Dean and the Programme Co ordinator of Software Engineering . ref http www.cs.waikato.ac.nz people People Computer Science , Department of Computer Science, University of Waikato, New Zealand. ref He has undertaken research work on the Z notation , formal methods for GUI design and a general theory ... Computerscientist DATE OF BIRTH 31 October 1957 PLACE OF BIRTH Brighton , England DATE OF DEATH ... talks internationally, including as the opening talk in the BCS FACS seminar series at the British Computer ... Computer Society , a Fellow of the New Zealand Computer Society , and is an IT Certified Professional .... Proceedings of IFM 2000, Lecture Notes in Computer Science, vol. 1945, pp. 256 276 ..., A Robust Semantics Hides Fewer Errors, Lecture Notes in Computer Science , vol. 5850, pp. 499 ... Science of Computer Programming 76, 774 791, 2011. Jonathan Bowen and Steve Reeves, http dx.doi.org ... of the Formal Methods Community , Proc. FM 2011 Formal Methods, Lecture Notes in Computer Science 6664 ... from Brighton Category Alumni of the University of Birmingham Category English computer scientists Category New Zealand computer scientists Category English emigrants to New Zealand Category Formal ... of London Category University of Waikato faculty Category Fellows of the British Computer Society ... more details
David Forsyth is an United States American computerscientist and full professor at the University of Illinois at Urbana Champaign , born in South Africa. He is married to Margaret Fleck , who is also a professor at the University of Illinois. He holds a BSc and an MSc in Electrical Engineering from the University of the Witwatersrand, Johannesburg, and an MA and D.Phil from Oxford University. He was a full professor at U.C. Berkeley before moving to the University of Illinois at Urbana Champaign. He co authored, with UIUC CS Professor Jean Ponce , 2002 s Computer Vision A Modern Approach , one of the leading publications addressing the topic. He has published over 100 papers Peacock term date March 2011 on computer vision, computer graphics and machine learning. He served as program co chair for IEEE Computer Vision and Pattern Recognition in 2000, general co chair for IEEE CVPR 2006, program co chair for ECCV 2008, program co chair for IEEE CVPR 2011, and is a regular member of the program committee of all major international conferences on computer vision. He served on the NRC Committee on Protecting Kids from Pornography and other Inappropriate Material on the Internet , which sat for three years and produced a study widely praised for its sensible content. He has received best paper awards at the International Conference on Computer Vision and at the European Conference on Computer Vision. David Forsyth s research interest also includes graphics and machine learning, he served as a committee member of ICML 2008. External links http luthuli.cs.uiuc.edu daf David Forsyth s Home Page http www.cs.uiuc.edu news articles.php?id 2006Mar29 153 Professor David Forsyth receives IEEE Technical Achievement Award Persondata Metadata see Wikipedia Persondata . NAME Forsyth, David ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Forsyth, David Category Living people US compu bio stub ... more details
For the rugby league player Micheal Luck Infobox scientist image name Michael Luck birth date birth place residence nationality United Kingdom British field Computer science , software engineering , software agents work institution King s College London br University of Southampton br University of Warwick alma mater Prof. Michael Luck is a computerscientist based at the Department of Computer Science, King s College London , in central London , England . He leads the Agents and Intelligent Systems AIS section. ref http www.kcl.ac.uk schools pse dcs research sections agents Agents and Intelligent Systems , Kings College London, UK. ref From 1993 to 2000, Michael Luck was based in the Department of Computer Science at the University of Warwick . From 2000 to 2006, Luck was a professor in the School of Electronics and Computer Science at the University of Southampton . ref name southampton http www.ecs.soton.ac.uk about michael luck.php Professor Michael Luck , http www.ecs.soton.ac.uk School of Electronic and Computer Science , University of Southampton, UK. ref He has led the AgentLink Europe an Co ordination Action for Agent Based Computing. ref name southampton ref http www.agentlink.org AgentLink , European Co ordination Action for Agent Based Computing. ref Luck has undertaken research in the area of intelligent agents . He is the co author of the books Understanding Agent Systems ref Mark d Inverno and Michael Luck, Understanding Agent Systems . Springer Series on Agent Technology, Springer Verlag , 2001. ISBN 978 3540419754. 2nd revised and extended edition, 2003. ISBN 978 3540407003. ref and Agent Based Software Development . ref Michael Luck, Ronald Ashri, and Mark d Inverno, Agent Based Software Development . Agent Oriented Systems, Artech House Publishers , 2004. ISBN 978 1580536059. ref See also AgentSpeak , an agent oriented programming language Distributed ... living people Category Living people Category British computer scientists Category Computer science ... more details
Kim Cameron is a computerscientist who is currently Microsoft s Chief Architect of Access. He is the originator of the 7 Laws of Identity ref cite web title The Laws Of Identity url http www.identityblog.com stories 2005 05 13 TheLawsOfIdentity.pdf author Kim Cameron publisher Kim Cameron s Identity Weblog date May 12, 2005 ref , and developed the InfoCard architecture. ref cite web title Kim Cameron Identity s god url http www.networkworld.com power 2005 122605 cameron.html author John Fontana publisher Network World date December 19, 2005 ref Reference reflist Compu bio stub Category Computer scientists Cameron, Kim Category Microsoft employees Cameron, Kim nl Kim Cameron ... more details
otherpeople Peter Lee Peter Lee born 30 November 1960 is an American computerscientist . He is a Distinguished Scientist and Managing Director of Microsoft Research , Redmond , USA . ref cite web url http www.microsoft.com presspass press 2010 jul10 07 15peterleepr.mspx title Microsoft Taps Peter Lee as New Managing Director of Microsoft Research Redmond publisher Microsoft , Redmond , USA work Microsoft News, Press Release date July 15, 2010 accessdate May 25, 2011 ref Previously, he was the head of the Transformational Convergence Technology Office of the Defense Advanced Research Projects Agency and the Department Chair of the Carnegie Mellon University . ref name cv cite web url http www.cs.cmu.edu petel cv.html title Curriculum vitae publisher Carnegie Mellon University , USA work http www.cs.cmu.edu petel Peter Lee accessdate May 25, 2011 ref His research focuses on software security and Software reliability reliability . Lee received his PhD degree from the University of Michigan in May 1987. ref name cv He is a Fellow of the Association for Computing Machinery . References reflist External links http www.microsoft.com presspass exec ds Lee default.mspx Peter Lee Microsoft information http www.cs.cmu.edu petel Peter Lee CMU home page http www.cs.cmu.edu petel cv.pdf Peter Lee CMU curriculum vitae Use dmy dates date April 2011 US compu bio stub Persondata Metadata see Wikipedia Persondata . NAME Lee, Peter ALTERNATIVE NAMES SHORT DESCRIPTION Computerscientist DATE OF BIRTH 30 November 1960 PLACE OF BIRTH USA DATE OF DEATH PLACE OF DEATH DEFAULTSORT Lee, Peter Category 1960 births Category Living people Category University of Michigan alumni Category Carnegie Mellon University faculty Category Microsoft employees Category American computer scientists Category Software engineering researchers Category Fellows of the Association for Computing Machinery ... more details
This page refers to the British computerscientist. For other persons named Cliff Jones, see Cliff Jones disambiguation . Infobox scientist name Cliff Jones image filename only image size caption birth date Birth date and age 1944 6 1 df y birth place death date death place residence citizenship nationality United Kingdom British ethnicity fields workplaces University of Manchester br Newcastle University alma mater University of Oxford doctoral advisor C. A. R. Hoare academic advisors doctoral students notable students known for author abbrev bot author abbrev zoo influences influenced awards religion signature filename only footnotes Clifford Cliff B. Jones born 1 June 1944 is a United Kingdom British computerscientist , specializing in research into formal methods . He undertook a late Doctor of Philosophy DPhil at the Oxford University Computing Laboratory under Tony Hoare , awarded ... aspects of computer science and the history of computer science . ref DBLP id Jones Cliff ... in Computer Science, Prentice Hall . ISBN 0 13 880733 7, 1990 Case Studies in Systematic Software Development , Jones, C.B. and Shaw, R.C.F. eds. . Prentice Hall International Series in Computer Science ... and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0 13 ... Series in Computer Science, Prentice Hall . ISBN 0 13 880717 5 1986 . Programming Languages and their Definition Selected Papers of Hans Bekic 1936 1982 , Jones, C.B. editor . Lecture Notes in Computer ... Series in Computer Science, Prentice Hall . ISBN 0 13 329003 4 1982 . Software Development A Rigorous Approach , Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall ..., C.B. editors . Lecture Notes in Computer Science , Volume 61, Springer Science Business Media Springer ... computer scientists Category Fellows of the British Computer Society Category Fellows of the Association ... Category Academics of Newcastle University Category Computer science writers Category Academic ... more details
Other people Andrew Martin Dr Andrew Martin is a United Kingdom British computerscientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford , England . ref name Andrew Martin Cite web url http www.softeng.ox.ac.uk Andrew.Martin title Dr Andrew Martin Oxford University accessdate 2010 10 10 ref ref name OUCL Cite web url http web.comlab.ox.ac.uk people Andrew.Martin title Andrew Martin Oxford University accessdate 2010 10 10 ref He is a member of the Oxford University Computing Laboratory . Education He obtained BA in Mathematics and Computation 1986 1989 and DPhil in Machine Assisted Theorem Proving for Software Engineering 1991 1994 from the University of Oxford. ref name Andrew Martin ref name OUCL Cite web url http web.comlab.ox.ac.uk people Andrew.Martin title Andrew Martin Oxford University accessdate 2009 10 21 ref Career After his first degree, he joined Praxis High Integrity Systems , Bath, Somerset Bath as Industrial Software Engineer. ref name OUCL After his DPhil, he become Research Fellow at the Software Verification Research Centre in the University of Queensland in Australia . ref name OUCL Before taking up his current post in 1999, he was briefly a lecturer in the University of Southampton . ref name OUCL Publications Martin s publications cover software engineering , security , trusted computing in general and formal methods in particular ref name Publication of Dr. Andrew Martin Cite web url http www.softeng.ox.ac.uk Andrew.Martin publications.html title Publication of Dr. Andrew Martin Oxford University accessdate ... see Wikipedia Persondata . NAME Martin, Andrew ALTERNATIVE NAMES SHORT DESCRIPTION Computerscientist ... of Oxford Category British computer scientists Category University of Queensland faculty Category ... Category Fellows of Kellogg College, Oxford Category Formal methods people UK scientist stub Compu scientist stub ... more details
otherpersons John Langford John Langford is a computerscientist , working as a senior researcher at Yahoo Research . ref name Yahoo http research.yahoo.com bouncer user 40 Profile at Yahoo Research ref He studied Physics and Computer Science at the California Institute of Technology , earning a double bachelor s degree in 1997, and received his Ph.D. from Carnegie Mellon University in 2002. Previously, he was affiliated with the Toyota Technological Institute and IBM s Watson Research Center. ref name Yahoo He is also the author of the popular Machine Learning weblog , http www.hunch.net hunch.net . References reflist Persondata Metadata see Wikipedia Persondata . NAME Langford, John ALTERNATIVE NAMES SHORT DESCRIPTION DATE OF BIRTH PLACE OF BIRTH DATE OF DEATH PLACE OF DEATH DEFAULTSORT Langford, John Category California Institute of Technology alumni Category Carnegie Mellon University alumni Category Year of birth missing living people Category Living people Category American computer scientists Compu bio stub ... more details
about the New Zealand computerscientist the journalist Peter Gutmann journalist Peter Gutmann is a computer science computerscientist in the Department of Computer Science at the University of Auckland , Auckland , New Zealand . He has a Ph.D. in computer science from the University of Auckland. His Ph.D. thesis and a book based on the thesis were about a cryptographic security architecture. ref Peter Gutmann. 2000 . http hdl.handle.net 2292 2310 The Design and Verification of a Cryptographic Security Architecture , PhD thesis ref He is interested in computer security issues, including Computer security model security architecture , security usability or more precisely the lack thereof , and Hardware Security Module hardware security , he has discovered assorted flaws in publicly released cryptosystem s and protocol cryptography protocol s. He is the developer of the cryptlib open source software security library and contributed to Pretty Good Privacy PGP version 2. He is also known for his analysis of data deletion on electronic memory media, magnetic and otherwise, and devised the Gutmann method for erasing data from a hard drive more or less securely. Having lived in New Zealand for some time, he has written on such subjects as weta s, which are peculiar ie, found nowhere else to New Zealand, and the 1998 Auckland power crisis Auckland power crisis of 1998 , during which the electrical power system failed completely in the central city for five weeks. See, for instance, Auckland Your Y2K beta test site on http www.cs.auckland.ac.nz pgut001 Gutmann s Homepage . He has also written on his career as an arms courier for New Zealand, detailing the difficulty faced in complying ... Gibson computer programmer Steve Gibson in episode 74 of the Security Now podcast on 2007 ... Gutmann, Peter Category People associated with computer security Category Living people Category Modern cryptographers Category New Zealand computer scientists Category University of Auckland alumni ... more details
Encyclopedia
top
