Knowledge (XXG)

Brian Harvey (lecturer)

Source đź“ť

151: 1897: 1887: 1867: 1857: 25: 1877: 1926: 1548: 1936: 701: 1946: 1457: 1554: 951: 53: 33: 1941: 1901: 1861: 1184: 461: 694: 1921: 1542: 728: 395: 172: 1891: 1881: 1593: 1931: 831: 1669: 1649: 1559: 1403: 733: 687: 668: 411: 348: 279: 182: 1220: 602: 551: 520: 489: 126: 107: 1871: 79: 1664: 1628: 967: 988: 972: 817: 450: 86: 764: 1737: 1329: 1021: 942: 360: 57: 49: 1511: 1175: 998: 769: 446: 376: 208: 93: 1775: 1323: 1090: 1036: 1013: 977: 797: 710: 458: 368: 588: 537: 506: 38: 673: 1285: 1265: 1250: 1235: 1155: 430:
Until retiring in July 2013, Harvey taught introductory (lower-division) computer science courses at Berkeley, and
75: 42: 1706: 1338: 1210: 932: 806: 419: 187: 1866: 1623: 1436: 1046: 779: 753: 633: 468:
at Berkeley he co-established the first course to use BYOB and spread it to other colleges and high schools.
372: 1951: 1441: 1280: 926: 891: 864: 293:
The high school computer center: educational goals in theory and practice (philosophy, programming, moral)
1750: 1452: 1408: 1386: 908: 743: 454: 1956: 1654: 1608: 1376: 352: 859: 787: 415: 403: 364: 177: 100: 1760: 1745: 1697: 1603: 886: 840: 567: 64: 1836: 1755: 1722: 1356: 1240: 598: 547: 516: 485: 434:. He was also involved in the development of the language Logo for the use in K-12 education. 1702: 1674: 1588: 1506: 1315: 399: 344: 256: 1813: 1808: 1583: 1474: 1025: 897: 880: 579: 150: 1803: 1793: 1788: 1727: 1598: 1003: 738: 230:
Jim and Donna Gray Award for Excellence in Undergraduate Teaching of Computer Science
1915: 1765: 1712: 1692: 1644: 1613: 1295: 1831: 1364: 774: 758: 292: 1783: 1717: 1684: 1636: 1618: 1369: 1179: 962: 849: 812: 748: 391: 251: 1659: 1516: 1501: 1300: 1201: 1191: 1051: 875: 479: 438: 266: 1521: 1215: 1031: 1008: 983: 903: 679: 594: 543: 512: 407: 261: 1305: 1290: 1275: 1165: 1160: 1108: 1069: 782: 1526: 1447: 1270: 1260: 1245: 1205: 1170: 1113: 1103: 1098: 993: 356: 203: 662: 593:. Computer Science Logo Style. Vol. 3. Cambridge, Massachusetts: 542:. Computer Science Logo Style. Vol. 2. Cambridge, Massachusetts: 511:. Computer Science Logo Style. Vol. 1. Cambridge, Massachusetts: 323: 1823: 1333: 1230: 1196: 1142: 1131: 1123: 1061: 957: 921: 286: 227:
Diane S. McEntyre Award for Excellence in Teaching Computer Science
1413: 1255: 1225: 1137: 870: 1343: 1041: 913: 676:(The Structure and Interpretation of Computer Programs) Webcasts 683: 1927:
Massachusetts Institute of Technology School of Science alumni
63:
from the article and its talk page, especially if potentially
18: 1549:
MIT Computer Science and Artificial Intelligence Laboratory
441:
Jens Mönig, Harvey designed the programming language
1822: 1774: 1736: 1683: 1572: 1535: 1494: 1487: 1467: 1429: 1422: 1396: 1385: 1355: 1314: 1122: 1089: 1082: 1060: 941: 848: 839: 830: 796: 717: 478:Harvey, Brian K.; Wright, Matthew (December 1993). 318: 285: 275: 244: 217: 196: 165: 157: 141: 1458:Structure and Interpretation of Computer Programs 406:, 1975, and a Ph.D. in science and mathematics 351:. He and his students developed an educational 695: 8: 1555:Stanford Artificial Intelligence Laboratory 481:Simply Scheme: Introducing Computer Science 1937:UC Berkeley College of Engineering faculty 1856: 1576: 1491: 1426: 1393: 1086: 845: 836: 721: 702: 688: 680: 149: 138: 56:about living persons that is unsourced or 1947:University of California, Berkeley alumni 127:Learn how and when to remove this message 432:CS 195, Social Implications of Computing 343:(born 1949) is a former Lecturer SOE of 624: 484:. Cambridge, Massachusetts: MIT Press. 575: 565: 449:, an extended version of the language 224:Berkeley Distinguished Teaching Award 1543:Massachusetts Institute of Technology 466:CS10, The Beauty and Joy of Computing 396:Massachusetts Institute of Technology 7: 1876: 414:, 1985. He also received a M.A. in 1560:University of California, Berkeley 1404:Scheme Requests for Implementation 412:University of California, Berkeley 349:University of California, Berkeley 280:University of California, Berkeley 14: 1221:Knowledge Engineering Environment 1942:New College of California alumni 1896: 1895: 1886: 1885: 1875: 1865: 1855: 375:, for learners. He now works on 23: 587:Harvey, Brian K. (March 1997). 536:Harvey, Brian K. (March 1997). 505:Harvey, Brian K. (March 1997). 464:for first-class sprites. With 1: 1330:Common Lisp Interface Manager 539:Volume 2: Advanced Techniques 361:free and open-source software 1922:American computer scientists 729:Automatic storage management 590:Volume 3: Beyond Programming 508:Volume 1: Symbolic Computing 76:"Brian Harvey" lecturer 34:biography of a living person 978:Game Oriented Assembly Lisp 632:Hafner, Kate (2003-05-22). 300:; 39 years ago 161:1949 (age 74–75) 61:must be removed immediately 16:American computer scientist 1973: 1932:Stanford University alumni 445:(BYOB), and its successor 1853: 1579: 807:Common Lisp Object System 724: 711:Lisp programming language 634:"Computing's Lost Allure" 437:Together with the German 420:New College of California 314: 237: 188:New College of California 148: 1507:Bolt, Beranek and Newman 1437:Common Lisp the Language 390:He received his B.S. in 398:(MIT), 1969, a M.S. in 1442:How to Design Programs 1281:Portable Standard Lisp 927:Steel Bank Common Lisp 892:Embeddable Common Lisp 865:Armed Bear Common Lisp 744:Higher-order functions 455:higher-order functions 48:Please help by adding 1751:Shriram Krishnamurthi 1453:Practical Common Lisp 1409:Common Lisp HyperSpec 933:Symbolics Common Lisp 909:Macintosh Common Lisp 472:Selected publications 443:Build Your Own Blocks 1655:Robert Tappan Morris 1609:Robert Bruce Findler 1377:Space-cadet keyboard 788:Tree data structures 765:Read–eval–print loop 353:programming language 54:Contentious material 1397:Technical standards 860:Allegro Common Lisp 416:clinical psychology 404:Stanford University 178:Stanford University 1761:Gerald Jay Sussman 1746:Matthias Felleisen 1698:Richard P. Gabriel 1629:Richard Greenblatt 1604:Matthias Felleisen 887:Corman Common Lisp 341:Brian Keith Harvey 1909: 1908: 1849: 1848: 1845: 1844: 1837:Robin Popplestone 1756:Guy L. Steele Jr. 1723:Guy L. Steele Jr. 1568: 1567: 1483: 1482: 1351: 1350: 1241:Lisp Machine Lisp 1151: 1150: 1078: 1077: 826: 825: 338: 337: 239:Scientific career 137: 136: 129: 111: 37:needs additional 1964: 1899: 1898: 1889: 1888: 1879: 1878: 1869: 1859: 1858: 1703:Philip Greenspun 1675:Richard Stallman 1589:Daniel G. Bobrow 1577: 1492: 1427: 1394: 1316:Operating system 1087: 846: 837: 722: 704: 697: 690: 681: 666: 665: 663:Official website 648: 647: 645: 644: 629: 614: 612: 611: 583: 577: 573: 571: 563: 561: 560: 532: 530: 529: 501: 499: 498: 400:computer science 367:of the language 345:computer science 334: 331: 329: 327: 325: 310: 308: 306: 301: 257:Computer science 153: 139: 132: 125: 121: 118: 112: 110: 69: 50:reliable sources 27: 26: 19: 1972: 1971: 1967: 1966: 1965: 1963: 1962: 1961: 1912: 1911: 1910: 1905: 1841: 1818: 1814:Cynthia Solomon 1809:Mitchel Resnick 1770: 1732: 1679: 1633:Timothy P. Hart 1594:William Clinger 1584:Edmund Berkeley 1564: 1531: 1479: 1475:ProgramByDesign 1463: 1418: 1388: 1381: 1347: 1310: 1147: 1118: 1074: 1056: 937: 898:GNU Common Lisp 881:CMU Common Lisp 851: 832:Implementations 822: 792: 713: 708: 661: 660: 657: 652: 651: 642: 640: 631: 630: 626: 621: 609: 607: 605: 586: 574: 564: 558: 556: 554: 535: 527: 525: 523: 504: 496: 494: 492: 477: 474: 459:object-oriented 428: 388: 322: 304: 302: 299: 297: 271: 233: 213: 192: 166:Alma mater 144: 143:Brian K. Harvey 133: 122: 116: 113: 70: 68: 47: 28: 24: 17: 12: 11: 5: 1970: 1968: 1960: 1959: 1954: 1949: 1944: 1939: 1934: 1929: 1924: 1914: 1913: 1907: 1906: 1854: 1851: 1850: 1847: 1846: 1843: 1842: 1840: 1839: 1834: 1828: 1826: 1820: 1819: 1817: 1816: 1811: 1806: 1804:Seymour Papert 1801: 1796: 1794:Wally Feurzeig 1791: 1789:Denison Bollay 1786: 1780: 1778: 1772: 1771: 1769: 1768: 1763: 1758: 1753: 1748: 1742: 1740: 1734: 1733: 1731: 1730: 1728:Daniel Weinreb 1725: 1720: 1715: 1710: 1700: 1695: 1689: 1687: 1681: 1680: 1678: 1677: 1672: 1667: 1662: 1657: 1652: 1647: 1642: 1639: 1634: 1631: 1626: 1621: 1616: 1611: 1606: 1601: 1599:R. Kent Dybvig 1596: 1591: 1586: 1580: 1574: 1570: 1569: 1566: 1565: 1563: 1562: 1557: 1552: 1546: 1539: 1537: 1533: 1532: 1530: 1529: 1524: 1519: 1514: 1509: 1504: 1502:Apple Computer 1498: 1496: 1489: 1485: 1484: 1481: 1480: 1478: 1477: 1471: 1469: 1465: 1464: 1462: 1461: 1455: 1450: 1445: 1439: 1433: 1431: 1424: 1420: 1419: 1417: 1416: 1411: 1406: 1400: 1398: 1391: 1383: 1382: 1380: 1379: 1374: 1373: 1372: 1361: 1359: 1353: 1352: 1349: 1348: 1346: 1341: 1336: 1327: 1320: 1318: 1312: 1311: 1309: 1308: 1303: 1298: 1293: 1288: 1283: 1278: 1273: 1268: 1263: 1258: 1253: 1248: 1243: 1238: 1233: 1228: 1223: 1218: 1213: 1208: 1199: 1194: 1189: 1173: 1168: 1163: 1158: 1152: 1149: 1148: 1146: 1145: 1140: 1135: 1128: 1126: 1120: 1119: 1117: 1116: 1111: 1106: 1101: 1095: 1093: 1084: 1083:Unstandardized 1080: 1079: 1076: 1075: 1073: 1072: 1066: 1064: 1058: 1057: 1055: 1054: 1049: 1044: 1039: 1034: 1029: 1019: 1016: 1011: 1006: 1004:MIT/GNU Scheme 1001: 996: 991: 986: 981: 975: 970: 965: 960: 955: 947: 945: 939: 938: 936: 935: 930: 924: 919: 916: 911: 906: 901: 895: 889: 884: 878: 873: 868: 862: 856: 854: 843: 834: 828: 827: 824: 823: 821: 820: 815: 810: 803: 801: 794: 793: 791: 790: 785: 777: 772: 767: 762: 756: 751: 746: 741: 739:Dynamic typing 736: 731: 725: 719: 715: 714: 709: 707: 706: 699: 692: 684: 678: 677: 671: 656: 655:External links 653: 650: 649: 638:New York Times 623: 622: 620: 617: 616: 615: 603: 584: 576:|website= 552: 533: 521: 502: 490: 473: 470: 453:, which added 427: 424: 387: 384: 336: 335: 320: 316: 315: 312: 311: 289: 283: 282: 277: 273: 272: 270: 269: 264: 259: 254: 248: 246: 242: 241: 235: 234: 232: 231: 228: 225: 221: 219: 215: 214: 212: 211: 206: 200: 198: 197:Known for 194: 193: 191: 190: 185: 180: 175: 169: 167: 163: 162: 159: 155: 154: 146: 145: 142: 135: 134: 58:poorly sourced 31: 29: 22: 15: 13: 10: 9: 6: 4: 3: 2: 1969: 1958: 1955: 1953: 1952:Living people 1950: 1948: 1945: 1943: 1940: 1938: 1935: 1933: 1930: 1928: 1925: 1923: 1920: 1919: 1917: 1904: 1903: 1894: 1893: 1884: 1883: 1874: 1873: 1868: 1864: 1863: 1852: 1838: 1835: 1833: 1830: 1829: 1827: 1825: 1821: 1815: 1812: 1810: 1807: 1805: 1802: 1800: 1797: 1795: 1792: 1790: 1787: 1785: 1782: 1781: 1779: 1777: 1773: 1767: 1766:Julie Sussman 1764: 1762: 1759: 1757: 1754: 1752: 1749: 1747: 1744: 1743: 1741: 1739: 1735: 1729: 1726: 1724: 1721: 1719: 1716: 1714: 1713:David A. Moon 1711: 1708: 1704: 1701: 1699: 1696: 1694: 1693:Scott Fahlman 1691: 1690: 1688: 1686: 1682: 1676: 1673: 1671: 1670:Steve Russell 1668: 1666: 1663: 1661: 1658: 1656: 1653: 1651: 1650:John McCarthy 1648: 1646: 1645:David Luckham 1643: 1640: 1638: 1635: 1632: 1630: 1627: 1625: 1622: 1620: 1617: 1615: 1614:Matthew Flatt 1612: 1610: 1607: 1605: 1602: 1600: 1597: 1595: 1592: 1590: 1587: 1585: 1582: 1581: 1578: 1575: 1571: 1561: 1558: 1556: 1553: 1550: 1547: 1544: 1541: 1540: 1538: 1534: 1528: 1525: 1523: 1520: 1518: 1515: 1513: 1510: 1508: 1505: 1503: 1500: 1499: 1497: 1493: 1490: 1488:Organizations 1486: 1476: 1473: 1472: 1470: 1466: 1459: 1456: 1454: 1451: 1449: 1446: 1443: 1440: 1438: 1435: 1434: 1432: 1428: 1425: 1421: 1415: 1412: 1410: 1407: 1405: 1402: 1401: 1399: 1395: 1392: 1390: 1384: 1378: 1375: 1371: 1368: 1367: 1366: 1363: 1362: 1360: 1358: 1354: 1345: 1342: 1340: 1337: 1335: 1331: 1328: 1326: 1325: 1321: 1319: 1317: 1313: 1307: 1304: 1302: 1299: 1297: 1294: 1292: 1289: 1287: 1284: 1282: 1279: 1277: 1274: 1272: 1269: 1267: 1264: 1262: 1259: 1257: 1254: 1252: 1249: 1247: 1244: 1242: 1239: 1237: 1234: 1232: 1229: 1227: 1224: 1222: 1219: 1217: 1214: 1212: 1209: 1207: 1203: 1200: 1198: 1195: 1193: 1190: 1187: 1186: 1181: 1177: 1174: 1172: 1169: 1167: 1164: 1162: 1159: 1157: 1154: 1153: 1144: 1141: 1139: 1136: 1133: 1130: 1129: 1127: 1125: 1121: 1115: 1112: 1110: 1107: 1105: 1102: 1100: 1097: 1096: 1094: 1092: 1088: 1085: 1081: 1071: 1068: 1067: 1065: 1063: 1059: 1053: 1050: 1048: 1045: 1043: 1040: 1038: 1035: 1033: 1030: 1027: 1023: 1020: 1018:Pocket Scheme 1017: 1015: 1012: 1010: 1007: 1005: 1002: 1000: 997: 995: 992: 990: 987: 985: 982: 979: 976: 974: 971: 969: 966: 964: 961: 959: 956: 954: 953: 949: 948: 946: 944: 940: 934: 931: 928: 925: 923: 920: 917: 915: 912: 910: 907: 905: 902: 899: 896: 893: 890: 888: 885: 882: 879: 877: 874: 872: 869: 866: 863: 861: 858: 857: 855: 853: 847: 844: 842: 838: 835: 833: 829: 819: 816: 814: 811: 808: 805: 804: 802: 799: 795: 789: 786: 784: 781: 778: 776: 775:S-expressions 773: 771: 768: 766: 763: 760: 759:M-expressions 757: 755: 752: 750: 747: 745: 742: 740: 737: 735: 732: 730: 727: 726: 723: 720: 716: 712: 705: 700: 698: 693: 691: 686: 685: 682: 675: 672: 670: 664: 659: 658: 654: 639: 635: 628: 625: 618: 606: 604:0-262-58150-7 600: 596: 592: 591: 585: 581: 569: 555: 553:0-262-58149-3 549: 545: 541: 540: 534: 524: 522:0-262-58148-5 518: 514: 510: 509: 503: 493: 491:9780262082266 487: 483: 482: 476: 475: 471: 469: 467: 463: 460: 456: 452: 448: 444: 440: 435: 433: 425: 423: 421: 417: 413: 409: 405: 401: 397: 393: 385: 383: 381: 380: 374: 370: 366: 362: 358: 354: 350: 346: 342: 333: 321: 317: 313: 295: 294: 290: 288: 284: 281: 278: 274: 268: 265: 263: 260: 258: 255: 253: 250: 249: 247: 243: 240: 236: 229: 226: 223: 222: 220: 216: 210: 207: 205: 202: 201: 199: 195: 189: 186: 184: 181: 179: 176: 174: 171: 170: 168: 164: 160: 156: 152: 147: 140: 131: 128: 120: 117:February 2021 109: 106: 102: 99: 95: 92: 88: 85: 81: 78: â€“  77: 73: 72:Find sources: 66: 62: 59: 55: 51: 45: 44: 40: 35: 30: 21: 20: 1900: 1890: 1880: 1870: 1860: 1832:Rod Burstall 1799:Brian Harvey 1798: 1365:Lisp machine 1322: 1183: 950: 841:Standardized 780:Self-hosting 761:(deprecated) 749:Linked lists 734:Conditionals 641:. Retrieved 637: 627: 608:. Retrieved 589: 557:. Retrieved 538: 526:. Retrieved 507: 495:. Retrieved 480: 465: 442: 436: 431: 429: 389: 378: 340: 339: 291: 276:Institutions 238: 123: 114: 104: 97: 90: 83: 71: 60: 43:verification 36: 1957:1949 births 1784:Hal Abelson 1718:Kent Pitman 1685:Common Lisp 1637:Louis Hodes 1624:Paul Graham 1619:Phyllis Fox 1389:of practice 1370:TI Explorer 963:Chez Scheme 813:CommonLoops 669:UC Berkeley 462:inheritance 392:mathematics 373:interpreter 252:Mathematics 183:UC Berkeley 1916:Categories 1665:David Park 1660:Joel Moses 1641:Mike Levin 1517:Lucid Inc. 1468:Curriculum 1301:Spice Lisp 1202:Franz Lisp 1192:Emacs Lisp 1052:TinyScheme 876:Clozure CL 643:2012-10-17 619:References 610:2019-05-11 559:2019-05-11 528:2019-05-11 497:2019-05-11 439:programmer 267:Psychology 87:newspapers 1707:10th rule 1536:Education 1522:Symbolics 1512:Harlequin 1423:Education 1387:Community 1216:Interlisp 1032:Scheme 48 1009:MultiLisp 984:GNU Guile 904:LispWorks 770:Recursion 595:MIT Press 578:ignored ( 568:cite book 544:MIT Press 513:MIT Press 457:and true 408:education 386:Education 359:which is 328:.berkeley 262:Education 39:citations 1902:Category 1892:Category 1495:Business 1357:Hardware 1306:Zetalisp 1291:S-1 Lisp 1276:Picolisp 1166:BBN LISP 1161:AutoLISP 1109:StarLogo 1070:OpenLisp 1026:features 783:compiler 718:Features 422:, 1990. 371:, as an 65:libelous 1882:Commons 1551:(CSAIL) 1527:Xanalys 1448:On Lisp 1271:PC-LISP 1261:newLISP 1246:Maclisp 1206:PC-LISP 1185:history 1171:Clojure 1134:(POP-1) 1114:UCBLogo 1104:NetLogo 1099:MSWLogo 994:JScheme 968:Chicken 952:History 883:(CMUCL) 818:Flavors 800:systems 451:Scratch 365:dialect 357:UCBLogo 319:Website 303: ( 204:UCBLogo 101:scholar 1738:Scheme 1573:People 1460:(SICP) 1444:(HTDP) 1339:Genera 1334:McCLIM 1231:LeLisp 1197:EuLisp 1143:POP-11 1132:COWSEL 1062:ISLISP 1022:Racket 989:Ikarus 980:(GOAL) 973:Gambit 958:Bigloo 943:Scheme 929:(SBCL) 922:Poplog 918:Movitz 867:(ABCL) 850:Common 809:(CLOS) 798:Object 754:Macros 674:CS 61A 601:  550:  519:  488:  355:named 324:people 296:  287:Thesis 245:Fields 218:Awards 103:  96:  89:  82:  74:  1872:Books 1545:(MIT) 1430:Books 1414:X3J13 1296:SKILL 1256:MLisp 1226:*Lisp 1180:Apple 1176:Dylan 1138:POP-2 900:(GCL) 894:(ECL) 871:CLISP 447:Snap! 326:.eecs 298:(1985 209:Snap! 108:JSTOR 94:books 32:This 1862:List 1776:Logo 1344:Scsh 1324:List 1091:Logo 1042:SIOD 1014:Pico 999:Kawa 914:Mocl 852:Lisp 599:ISBN 580:help 548:ISBN 517:ISBN 486:ISBN 426:Work 377:Snap 369:Logo 363:, a 332:/~bh 330:.edu 305:1985 158:Born 80:news 41:for 1824:POP 1286:RPL 1266:NIL 1251:MDL 1236:LFE 1156:Arc 1124:POP 1037:SCM 394:at 347:at 173:MIT 1918:: 1332:, 1211:Hy 1204:, 1182:, 667:, 636:. 597:. 572:: 570:}} 566:{{ 546:. 515:. 418:, 410:, 402:, 382:. 52:. 1709:) 1705:( 1188:) 1178:( 1047:T 1028:) 1024:( 703:e 696:t 689:v 646:. 613:. 582:) 562:. 531:. 500:. 379:! 309:) 307:) 130:) 124:( 119:) 115:( 105:· 98:· 91:· 84:· 67:. 46:.

Index

biography of a living person
citations
verification
reliable sources
Contentious material
poorly sourced
libelous
"Brian Harvey" lecturer
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message

MIT
Stanford University
UC Berkeley
New College of California
UCBLogo
Snap!
Mathematics
Computer science
Education
Psychology
University of California, Berkeley
Thesis
The high school computer center: educational goals in theory and practice (philosophy, programming, moral)
people.eecs.berkeley.edu/~bh
computer science

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑