irani professor artificial intelligence laboratory department electrical engineering computer science university michigan office address 3405 eecs building 1301 beal avenue ann arbor mi 48109 2122 email irani eecs umich phone 313 764 research activities artificial intelligence distributed systems parallel architecture neural networks graduate students jin chang greg matt george neal straub professional activities fellow ieee updated 9 26 95


sylvian ray areas research interest artificial intelligence concentrate designing neural network based systems applicable interpretation signals arising biomedical applications multichannel time domain signals primary emphasis biomedical computing design expert neural network systems signal interpretation research group intelligence group administrative kathy johnson 2302 digital computer laboratory 1304 west springfield avenue urbana il 61801 217 333 217 333 3501 fax ray cs uiuc img back faculty index


michael arbib professor dr arbib directs major interdisciplinary project neural plasticity data computational structures integrating studies learning neural compensation disease research tools multi media database construction data recovery visualization multi level simulation research focusses mechanisms underlying coordination perception action tackled levels schema theory applicable top analyses brain function human cognition studies machine vision robotics detailed analysis neural networks working closely experimental findings author 20 books editor 11 dr arbib recently edited handbook brain theory neural networks massive compendium embracing studies detailed neuronal function systems models brain regions connectionist models psychology linguistics mathematical biological studies learning technological applications artificial neural networks selected recent publications arbib metaphorical brain 2 neural networks wiley 1989 arbib handbook brain theory neural networks bradford book mit press 1995 arbib synthetic pet analyzing large scale properties neural networks human brain mapping 2 225 233 1994 1995 arbib model generation spatially accurate sequential cortex 2 153 175 1992 arbib grasping objects cortical mechanisms transformation trends neurosciences 18 314 320 1995 arbib sensorimotor transformations worlds frogs robots artificial intelligence 72 53 79 1995 dr arbib mail address arbib pollux usc


erik associate professor computer science department university utah salt lake city utah 84112 cs utah information plan file img img img professor joined department computer science 1990 interests computer architecture vlsi systems general timed asynchronous systems aspect research involves compiling concurrent communicating programs asynchronous vlsi circuits current system programs written subset occam concurrent message passing programming language based csp automatically compiled set timed circuit modules suitable manufacture integrated circuit interested investigating effects asynchrony computer systems architecture higher level explore ideas building series prototype asynchronous computer systems fpga custom vlsi chips asynchronous circuits symposia recently involved general chair organizing international symposium advanced research asynchronous circuits systems held university park hotel salt lake city november 3 5 1994 home page details 1996 conference held aizu japan march 18 21 1996 success check home page information 1997 held netherlands april 7 10 1997 home page details asynchronous circuits tutorial gave tutorial asynchronous circuits 2nd working conference asynchronous design methodologies london curious slides postscript file slides page compact format postscript file slides page computer folklore gave paper computer folklore entitled heroic hacker legends computer age american folklore society annual pittsburgh pa october 1996 materials relating talk found academic details publications patents research grants communication cs utah modified oct 14 1996


gary lindstrom rafting grand canyon professor computer science gary lindstrom graduate carnegie mellon university earned degrees mathematics ph computer science professor computer science university utah taught previously university pittsburgh dr lindstrom research interests programming language design specification implementation special emphasis programming aspects parallel distributed systems served ieee computer society distinguished visitor awarded university utah college engineering outstanding teaching award dr lindstrom recently retired editor chief international journal parallel programming edited book logic programming functions relations equations research supported nsf arpa onr industrial sponsors mcc ibm xerox ncr ericsson served nsf computer computation research advisory committee 1988 1992 consultant united nations development programme 1988 dr lindstrom chair memorial lecture series current research projects persistent object stores mach shared objects project building object manager om layered modern operating systems om based system server concepts presenting standardized interface common lisp cl programs approach persistence emphasizes generality source language support ii portability heterogeneity iii data evolution iv distributed implementation access representation software components objects managed pervasive system service module manipulation tools fast flexible mach based systems project seeks develop operating system higher degree flexibility traditional systems added flexibility circumvent performance functionality tradeoffs traditional highly decomposed microkernel based operating systems foundations work include comprehensive notion modules ii module manipulation cast system service iii semantically enriched notion module compatibility adaptability items ii arose mach shared objects project iii emphasis motivated pragmatically important inter module concerns address space sharing storage management policies levels trust software human genetics applications collaboration utah center human genome research software developed aid genetic applications linkage analysis genetic physical mapping large scale genetic sequencing key aspects include data modeling relational object oriented database management systems ii sequencing production workflow simulation planning real time control iii automated inspection monitoring robotic manipulation laboratory processes educational dimension collaboration centers interdisciplinary program genome science selected publications 1 gary lindstrom application framework module composition tools proc ecoop 96 springer lncs 1098 pp 91 113 2 rob dave terence tony di robert gary lindstrom peter cartwright design implementation database human genome research proc eighth international conference scientific statistical database management stockholm june 18 20 1996 pp 220 225 ieee computer society press 3 gary lindstrom modular scheme university utah technical report 95 020 4 douglas orr gary lindstrom layered server based support object oriented application development proc fourth int workshop object orientation operating systems lund sweden august 1995 5 robert charles clark gary lindstrom benny yih driven persistent objects facility proc 1994 usenix conference cambridge ma pp 265 281 6 gary lindstrom douglas orr type safe composition object modules computer systems education honour prof rajaraman tata mcgraw hill publishing company limited 1994 pp 188 200 7 gary lindstrom design meta architectures object oriented languages proc golden west international conference intelligent systems las vegas nv june 1994 8 gilad bracha gary lindstrom modularity meets inheritance proc international conference computer languages ieee computer society san francisco ca april 20 23 1992 pp 282 290 selected research awards 1 sound flexible module combination onr 1995 1996 pi 2 object management engineering manufacturing arpa onr 1993 1996 pi 3 fast flexible mach based systems arpa 1994 1997 faculty investigator 4 utah center human genome research nih p50 1994 1999 faculty investigator 5 institutional training grant genomic science nih 1995 2000 track leader teaching 1 cs513 database systems home page autumn 1996 quarter 2 cs356 503 object oriented software engineering home page spring 1996 quarter 3 seminar home page fun stuff finger file hero dilbert play squash river trip information 1997 gathering faithful west west 97 park city utah draw 100 series mg sports cars beard high school graduation picture click photo 34 years hacking


karen hay lecturer department computer science contact information email cs clemson phone 864 656 2638 office 444 edwards hall office hours 1 00 2 00p tth 4 30 5 00p tth class information notice schedule test nov 21st cpsc120 syllabus cpsc120 assignments cpsc120 projects cpsc120 class schedule cpsc120 lecture notes


klaus schauser assistant professor room 2123 engineering department computer science santa barbara ca 93106 5110 internet schauser cs ucsb phone 805 893 fax 805 893 8553 ph university california berkeley research interests parallel computing functional programming languages compilers computer architecture klaus schauser received diplom computer science universita karlsruhe 1989 ph degrees computer science university california berkeley 1991 1994 joined computer science department ucsb assistant professor 1994 professor schauser member parallel computing group ucsb main research interests parallel languages compilation system aspects highly parallel architectures berkeley developed compilation techniques based multithreading implementing functional programming languages parallel machines professor schauser member association computing machinery acm acm special interest groups computer architecture programming languages ieee computer society local arrangements registration chair symposium parallel algorithms architectures symposium principles practices parallel programming held ucsb july 1995 list papers information german speaking prospective graduate students courses cs240a fall 1996 parallel computing winter 1996 computer architecture winter 1996 seminar parallel object oriented languages fall 1995 parallel computing spring 1995 advanced topics translation spring 1995 seminar high performance molecular dynamics winter 1995 seminar parallel object oriented languages fall 1994 parallel computing research links implicitly parallel benchmark suite back cs department home page modified wed apr 5 1995 klaus schauser schauser cs ucsb


edsger dijkstra schlumberger centennial chair computer sciences professor mathematics mathematics physics 1951 theoretical physics 1956 university ph 1959 university amsterdam honors awards acm turing award 1972 foreign honorary member american academy arts sciences member royal netherlands academy arts sciences distinguished fellow british computer society afips harry memorial award 1974 doctor science queen university belfast areas interest program correctness mathematical methodology algorithms systems summary research area interest focuses streamlining mathematical argument increase powers reasoning formal techniques additional information obtained individual faculty members home pages img back list faculty profiles


george friedman jr areas research interest computer assisted instruction operating systems generic research group administrative kay digital computer laboratory 1304 west springfield avenue urbana il 61801 217 333 217 333 3501 fax friedman cs uiuc img back faculty index


img manuel faculty member university florida computer information sciences department leave university fulbright scholar research teaching university costa rica plan return august 1997 electronic snail mail forwarded email address manuel cise ufl office cse phone 904 392 items interest university costa rica home page alma mater uf institute hispanic cultures hispanic web site scuba diving site site irs forms telecommunications act 1996 sh


mitsunori ogihara urcs faculty member 1963 ph 1993 tokyo institute technology assistant professor 91 93 university electro communications visiting assistant professor 92 state university york buffalo assistant professor 94 university rochester research courses img back urcs home page


william thompson professor computer science university utah img william thompson department computer science 3190 merrill engineering building university utah salt lake city ut 84112 tel 801 585 3302 fax 801 581 5843 thompson cs utah head thomas henderson vision robotics research group current areas interest research professor thompson primary research interest area computer vision emphasis problems involving determination shape spatial organization tasks robotics sensing strategies advanced manufacturing building utah experience cagd computer aided geometric design manufacturing investigating sensing strategies specifically suited man made objects current work addressing reverse engineering machined parts based approach centering high level manufacturing features low level geometry benchmarking iu manufacturing developing approach providing test data image understanding objects making test set designed fabricated house ground truth original design data control ability distribute actual parts sensed data rapid virtual prototyping assemblies immersive interfaces cad systems designer experiment assemblies parts construct modify physical prototypes effort constructing haptic interface designer touch hold move models parts assemblies rendered views result environment part interactions considered natural manner current technology vision based navigation unstructured outdoor terrain developing model process current location determined views outdoor environments maps representing topographic information interdisciplinary approach involving laboratory field studies highly expert map readers computational analysis computer simulations visual motion project focuses analysis visual motion including optical flow estimation presence discontinuities extracting shape properties qualitative manner avoids complexity noise sensitivity structure motion methods detecting moving objects environment sensor moving professor thompson advisory board ieee transactions pattern analysis machine intelligence previously served associate editor journal joined university utah 1991 16 years computer science department university minnesota selected publications sutherland thompson localizing unstructured environments dealing errors ieee transactions robotics automation december 1994 pick jr smith sullivan thompson topographic map reading ecology human machine systems hancock vicente eds press owen sloan thompson interactive feature based reverse engineering mechanical parts proceedings arpa image understanding workshop november 1994 sutherland thompson pursuing projections keeping robot path proceedings ieee international conference robotics automation 1994 thompson stuck detecting moving objects constraint ieee transactions pattern analysis machine intelligence february 1993 thompson painter qualitative constraints structure motion computer vision graphics image processing image understanding july 1992 wick thompson expert system explanation artificial intelligence march 1992 thompson pong detecting moving objects international journal computer vision january 1990 thompson dynamic occlusion analysis optical flow fields ieee transactions pattern analysis machine intelligence july 1985 thompson velocity determination scenes moving objects computer graphics image processing april 1979 img img img


previous contents algebraic specification faculty research guide previous leana golubchik jonathan gross research concerned structural analysis mathematical objects improving methods representation mathematical objects sufficient goals lead improved algorithmic performance interest interconnection networks layouts methods geometric side algebraic topology algebra permutation groups aspects recent research algebraic specification interconnection network relationships algebraic specification network layouts probabilistic algorithms graph isomorphism testing references sabah al binali fri sep 22 16 39 42 edt 1995


lane hemaspaandra urcs faculty member note pre marriage lane 1960 ph 1987 cornell university assistant professor 87 88 columbia university assistant professor 89 92 associate professor 92 present university rochester presidential young investigator 89 95 professor lane hemaspaandra research area computational complexity theory computational complexity theory tasks computers faced divided groups complexity classes types computational power computational models relative power classes studied goal discovering weakest level computational power suffices solve crucial problems posed computers today professor hemaspaandra interests include power counting based computation power probabilistic computation power unambiguous computation importance query order accessing databases study efficient algorithms complex sets complexity theoretic aspects security fault tolerance data compression political science journal book publications editorial board member ipl editorial board member editorial board member complexity theory columnist sigact news ur cs technical reports archive img back urcs faculty directory img back urcs home page modified september 14 1995


paul helman professor computer science department university mexico farris engineering center albuquerque nm 87131 helman cs unm phone 505 277 2967 fax 505 277 6927 ph university michigan 1982 interests data mining database systems theory algorithms books helman veroff intermediate problem solving data structures walls mirrors benjamin cummings publishing company menlo park california 1986 helman veroff walls mirrors intermediate problem solving data structures modula 2 edition benjamin cummings publishing company menlo park california 1988 helman science database management richard irwin burr ridge ill 1994 selected publications helman veroff designing deductive databases automated reasoning 4 1 29 68 1988 helman common schema dynamic programming branch bound algorithms journal acm 36 1 97 128 1989 helman family np complete data aggregation problems acta informatica 26 5 485 499 1989 helman rosenthal mass production technique speed multiple query optimization physical database design orsa journal computing 3 1 33 55 1991 helman moret shapiro exact characterization greedy structures siam journal discrete math 6 2 274 283 1993 helman statistical foundations audit trail analysis detection computer misuse ieee trans software engineering 19 9 886 901 1993 forrest helman approach change detection algorithms analysis implications proceedings ieee symposium security privacy 1996 helman statistically based system prioritizing information exploration uncertainty ieee trans systems man cybernetics july 1997 changed november 7 1996 helman cs unm


conrad con lecturer department computer science contact information office 427 edwards hall office hours mtwth 1100 1200 phone 803 656 email cs clemson cpsc 120 section 1 home page cpsc 120 home page cpsc 241 section 2 home page cpsc 241 home page helpful pages html humor department computer science clemson university


dianne leary current position professor department computer science institute advanced computer studies umiacs university maryland college park academic degree ph stanford 1976 research interests full cv research summary technical reports computational linear algebra optimization scientific computing parallel numeric algorithms address dianne leary computer science department university maryland college park md 20742 301 405 2678 phone 301 405 6707 fax cs umd information householder meeting 1996 meeting graduate study computer mathematical sciences survival manual 600 cmsc 760 advanced linear numerical analysis information syllabus survival tools outline unit 1 1 obsolete notes convergence stationary iterative methods notes chebyshev semi iterative methods information computer system takehome exam 1 takehome exam 2 project information notes bi conjugate gradient algorithm spoof pete stewart methods outline unit 1 notes symmetric tridiagonal matrices notes fast poisson solvers alternate approach tensor product algorithms takehome exam 3 outline unit 2 review sheet class exam additional information computer system takehome exam 4


img ralph selfridge faculty member university florida computer information sciences department email address cis ufl office cse phone 904 392


img assistant professor department computing information sciences kansas state university office nichols hall room kansas state university manhattan ks 66506 voice 913 532 6350 fax 913 532 7353 email ravi cis ksu modified march 14 1996 ravi cis ksu send email ravi


zvi galil zvi galil julian levi professor mathematical methods computer science computer science department columbia university city york serves morris alma schapiro professor dean school engineering applied science columbia university main research interests design analysis algorithms computational complexity cryptography zvi editor chief siam journal computing journal algorithms pictures click zvi wife son number visitors page


1131 alistair holden professor professor electrical engineering originated highlands scotland received bsc degree university glasgow spent years british broadcasting corporation engineering division graduate apprentice spent research division spent year yale edison fellowship eng degree phd degree university washington dissertation learning artificial intelligence interest ai began taking colin cherry imperial college london bbc initiated computer science program uw time group faculty math ee departments formed group graduate school working applications ai knowledge based systems verification expert systems integrated symbolic neural net methodology speech understanding computer aided design


dr tong lai yu homepage associate professor computer science california state university san bernardino family pictures journal publications books research interests teaching assignments personal information network information novell network slip ppp emulation california state university san bernardino computer science homepage web server learning updated september 2 1995 picture construction man construction tong lai yu csci csusb


blue online freedom speech press association design accessible world point direction point point harry nilsson pages html compliant browser choose netscape problems displaying html world lots ways people including checking home pages hope enjoy glimpse find home page resources fighting internet censorship info archery campus info modern favorite books stories current computer projects info world citizen diversions favorite links news world bit silliness good measure back archery vassar archery mini split wand back information send mail shoot campus mail info list send note add informed shooting abreast minute local campus archery practices information send note put touch person running shooting campus 1991 interested stories information archery vassar back team sport current computer projects links east scripts projects links french site project public east site multilingual texts corpora eastern central european languages site east univ aix multilingual texts corpora eastern central european languages site corpus encoding standard march 1996 abstract ces designed optimally suited language engineering research applications order serve widely accepted set encoding standards european corpus work ces specifies minimal encoding level corpora achieve considered standardized terms descriptive representation marking structural typographic information general architecture maximally suited text database encoding specifications linguistic annotation data architecture linguistic corpora ces latest versions ces location ces explore view dtd short shell script writen modified tag usage calculations format paste tei ces header dtd dependent unix carriage return modified work dos script entities emacs mode system lets type keys type generate character mode generates character type inserting entities work equally character sets 2 set find read howto file people give feedback put public consumption howto package send email ll work uuencoded mail sgml projects links robin cover sgml web page david sgml page tei guidelines sgml open profit international consortium suppliers products services support sgml specifically check charles article entity management sgml projects links text speech speeds scripts emacs macros working dectalk text speech unit fancy drop note interested additionally mirroring raman speach output emacs hosting mailing list information mailing list http www cs vassar mirror html international organization standardization iso online hope nice visit page writen emacs 19 19 mode dtd converted html2 recently html3 2 questions comments send cs vassar soliciting page 10 1 96 back cs faculty list cs search


uc davis department computer science norman professor professor research areas include computer architecture computer communication networks data security operating systems current architecture project deals cache coherency multiprocessor systems office engineering ii phone 916 752 1953 mail cs ucdavis modified august 23 1996


1846 christos papadimitriou professor computer science division university california berkeley soda hall 689 eecs department berkeley ca 94720 510 642 1559 christos cs teaching fall 1996 sections introduction algorithms umesh vazirani office hours ta announced cs undergraduate advisor office hours week august 19 tue 10 12 thu 2 4 fri 10 12 sign door appointment studied athens polytechnic bs ee 1972 princeton phd cs 1976 taught harvard mit athens polytechnic stanford uc san diego berkeley january 1996 1979 miller fellow interested theory algorithms complexity applications databases optimization ai game theory written books elements theory computation prentice hall 1982 harry lewis edition combinatorial optimization algorithms complexity prentice hall 1982 ken steiglitz theory database concurrency control cs press 1988 computational complexity addison wesley 1994 papers


warren jones professor department chairman schedule research interests internet information filtering research tool development exponential growth information internet accompanying increase complexity internet requires development effective tools accessing environment goal research make contributions basic understanding structure dynamics information processing internet develop extensions existing filtering tools improve effectiveness approaches filtering process methodologies include neural networks natural language understanding genetic algorithms research group called studies information filtering technology electronic resources sifter formed pursue investigations primary application research healthcare delivery systems education georgia institute technology selected publications


uc davis department computer science raju pandey assistant professor professor pandey interested aspects programming language design implementation current focus research design implementation concurrent distributed object oriented programming languages research includes development techniques implementation execution environments concurrent distributed mobile programs professor pandey conducting research software design development techniques parallel distributed applications click dr pandey personal web page office engineering ii phone 916 752 3584 mail pandey cs ucdavis modified august 23 1996


teach lower division freshman sophomore computer science courses berkeley faculty advisor computer science undergraduate association open computing facility interested computers pre college education high school teacher involved development logo programming language berkeley logo freeware interpreter wrote students major contributors dan van michael katz doug orleans click retrieve complete distribution archive unix dos mac complete source code logo graphics language kids check sample program impress intermediate programming logo programming text concentrates natural language processing graphics people associate logo projects styles techniques collection ten logo programs commentary structure style advanced topics introductions college level computer science topics computer science logo style books print order bound photocopy mit document services edition published early 1997 img ve written papers computers education member computer professionals social responsibility league programming freedom american civil liberties union fun brian visit exploratorium world museum watch animaniacs good thing television listen 1964 1968 british rock beatles eat chinese food collect art masks lots bits links check world turkey stuffing recipe bh cs berkeley img


photo advanced computer architecture lab high performance microprocessor project research interests selected publications teaching address advanced computer architecture lab university michigan eecs 1301 beal avenue ann arbor michigan 48109 2122 mail tnm eecs umich phone 313 764 0203 secretary denise mail eecs umich phone 313 763 1557


michael wellman associate professor university michigan department electrical engineering computer science college engineering member artificial intelligence laboratory mail wellman umich mail um ai laboratory 1101 beal avenue ann arbor mi 48109 2110 usa fax 313 763 1260 research activities broadly speaking research group concerned design implementation decision machines seek mechanisms support rational decision making taking account computational representational practicality objective leads research probabilistic reasoning planning knowledge representation economics distributed computation research statement explains greater detail michigan internet configurable internet auction server existing auctions create www auctions project descriptions market oriented programming probabilistic decision theoretic reasoning university michigan digital library subgroup intellectual property economic issues papers online ftp directory journal artificial intelligence research electronic academic journal covering areas artificial intelligence journal refereed highest editorial standards jair distributed electronically free charge classes teach accessible umich eecs 380 data structures algorithms taught winter 94 eecs 492 introduction artificial intelligence fall 96 eecs 498 3 electronic commerce winter 97 eecs 592 advanced artificial intelligence taught winter 95 eecs 598 2 computational market systems special winter 96 line tutorial material special journal issues links association uncertainty artificial intelligence auctions web aaai spring symposium qualitative decision theory march 1997 updated 1 november 96


beverly sanders associate professor department computer information science engineering university florida contact information mailing address box 116120 gainesville fl 32611 6120 email address sanders cise ufl office cse phone 352 392 1528 fall office hours tuesday 3 4pm thursday 4 5pm appointment fall 1996 courses cop programming language principles information students research interests formal methods concurrency distributed algorithms object oriented programming 1997 joint modular languages conference held linz austria march 19 12 1997 deals languages techniques tools design implementation large scale software systems modular extensible deadline submission papers sept 1 1996 updated 8 30 96


ncsu computer science department home search directory mail robert rodman associate professor ph university california los angeles 1973 dr rodman research interests voice processing computational linguistics applied cti computer telephone interface working projects computer identification speakers voice automated lip synchronization computerized telephone calls political campaigns computerized telephone calls monitor persons living published area performance assessment speech hardware voice input output aids handicapped speech recognition chinese theoretical linguistics author popular linguistics textbook editorial board international journal speech technology member association computational linguistics acl linguistic society america representative publications automated lip sync direct translation speech sound mouth shape koster proceedings 28th annual asilomar conference signals systems computers ieee 1994 pp 36 46 introduction language 5 brace 1993 voice system computer entry chinese characters computer speech language han vol 7 1993 pp 1 13 voice dialogue systems intelligent systems state art future directions 1990 pp 318 336 computer speech recognition communication journal american voice society vol 6 july 1989 pp 61 76 department computer science box 8206 college engineering north carolina state university raleigh nc 27695 update 27 sep 96 auto format script


satish tripathi position professor computer science department professor umiacs academic degree ph university toronto 1979 sc hindu university 1970 sc hindu university 1968 publications fault tolerance computer networks real time systems performance evaluation parallel distributed systems current research projects atm networks mobile computing multimedia applications find current students image counter


professor wing tam computer science department harvey mudd college img information click ways touch mail personal wing cs hmc phone 909 621 secretary department 909 621 8225 fax 909 621 8465 mail computer science department harvey mudd college claremont ca 91711 5980 modified sept 28 1995 wing cs hmc


picture arthur professor email cs umn phone 612 625 educational background ph 1974 history science university wisconsin madison 1962 physics university vermont 1959 physics providence college professional background associate professor university minnesota 1981 1995 director charles babbage institute history information processing university minnesota 1981 1993 program manager national science foundation 1979 81 policy analyst national science foundation 1978 79 head history science technology program university california berkeley 1973 1978 instructor physics university wisconsin whitewater 1968 71 assistant professor physics st michael college vt 1961 63 1964 68 research interests 19th 20th century developments technology electronics radio computing concentrating institutional aspects innovation product development focus developments 1945 recent publication transforming computer technology information processing pentagon 1962 1986 computing developments sponsored darpa time sharing networking graphics artificial intelligence vlsi parallel processing current research projects history computer industry decade 1946 focusing engineering research associates eckert mauchly computer company ibm preparation history computing relations developments solid state physics textbook cs footer comments questions line software list department home page department ftp server research projects system information apache logo modified tuesday january 2 1996


img li min fu faculty member university florida computer information sciences department email address fu cis ufl office cse phone 904 392


greg plaxton contact information email plaxton cs utexas phone 512 471 fax 512 471 8885 office taylor hall 3 132 postal department computer science taylor hall 2 124 university texas austin austin texas 78712 1188 information annual report profile publications modified december 15 1996 greg plaxton plaxton cs utexas


paul oman department computer science university idaho paul oman picture oman cs uidaho line paul oman associate professor computer science university idaho 1984 hp chair computer science period 1993 96 teaches classes software engineering software design compilers reseach interests software engineering software metrics software quality assurance software maintenance page information classes students software engineering test lab setl home page publications graduate student theses curriculum vitae family photos line cs logo ui computer science department ui logo university idaho setl logo setl line oman cs uidaho phone 208 885 fax 208 885


ronitt rubinfeld assistant professor cornell department computer science recent papers talks courses 6 893 randomness computation spring 1996 mit cs 681 fall 1996 engineering 150 fall 1996 graduate students funda ergun ravi kumar cv computer science fair homepage hal wasserman web page describing work researchers area result checking address ronitt rubinfeld computer science department 5137 upson hall cornell university ithaca york 14853 telephone 607 255 1146 fax 607 255 4428 email ronitt cs cornell pictures nephew rubinfeld 1 2


juris hartmanis walter read professor engineering phd california institute technology 1955 strategic goal research contribute development comprehensive theory computational complexity computational complexity study quantitative laws govern computation essential part science base needed guide harness exploit growing computer technology computational complexity classifies problems amounts computational resources needed solve classification yields complexity classes consists problems solved computational resource bound gain deeper understanding makes problems hard compute explore complexity classes relations classes internal structure classes study trade offs computational resources problem solving attention sequential time parallel time nondeterministic time memory requirements randomness computational resource interactive computing university activities member faculty council representatives chair computer science department recruiting committee honors acm turing award member national academy engineering foreign member latvian academy sciences fellow american academy arts sciences fellow york state academy sciences fellow american association advancement science aaas charter fellow acm professional activities editor springer verlag lecture notes computer science siam journal computing journal computer systems sciences advisory board monographs theoretical computer science springer verlag board directors computing research association 1989 1994 ifip technical committee foundations computer science advisory council george brown school engineering rice university houston texas national academy engineering peer committee computer science engineering 1991 1994 visiting committee physical sciences division university chicago 1992 1995 council 1991 board advisors international journal foundations computer science world scientific press editorial board chicago journal theoretical computer science electronic journal foundation computer science mit press foundations editor electronic journal universal computer science goedel prize committee member computer science telecommunications board national research council 1995 98 awards honorary doctoral degree dr university dortmund germany 1995 lectures observations computer science banquet speech international logic programming symposium cornell university november 16 1994 computational complexity scope nature future distinguished lecture series university virginia february 13 1995 distinguished lecture series university tennessee april 17 1995 publications computational complexity nature computer science turing award lecture communications acm 37 10 october 1994 37 43 random oracle hypothesis false journal computer system sciences 49 1 august 1994 24 39 richard chang benny johan ranjan pankaj hausdorff topological dimension kolmogorov complexity real line journal computer system sciences 49 3 december 1994 605 619 jin yi cai weight computations bulletin 55 february 1995 136 138 return 1994 1995 annual report home page departmental home page questions comments contact www cs cornell modified 24 november 1995 denise moore denise cs cornell


minsky professor department computer science rutgers university piscataway nj 08855 usa phone 908 445 2085 fax 908 445 0537 email minsky cs rutgers office core 321 selected recent papers assorted links


loui index ronald loui loui loui ronald loui loui ronald loui links technical material vita personal material ai faculty activities courses code current student projects 1988 1994 title assoc prof computer science address box 1045 washington university st louis mo 63130 email loui ai wustl phone 314 935 fax 314 935 7302


1971 manuel blum electrical engineering massachusetts technology 1959 electrical engineering massachusetts technology 1961 ph mathematics massachusetts institute technology 1964 professor 510 642 1662 510 525 blum cs berkeley awards lectureships acm turing award 1995 arthur chair eecs 1995 fellow american academy arts sciences 1995 faculty research lecturer uc berkeley academic senate 1994 sigma xi award 1991 fellow american association advancement science 1988 fellow ieee 1987 invited lecturer international congress mathematicians 1986 chair computer science division 1977 1980 distinguished teaching award academic senate uc berkeley 1977 distinguished lecturer university washington princeton university massachusetts institute technology carnegie mellon university georgia institute technology dartmouth university committees evaluate computer science departments ph granting institutions notes introduction theoretical cs notes cs174 probability graph theory cs selected publications current phd students mor troy hal wasserman click information result checking


img img herman hughes professor ph southwest louisiana university research teaching interests great challenge faces broadband networks ability provide guaranteed performance diverse traffic types based quality service qos requirements time efficiently utilizing network capacity issues involved performance driven problems including type guarantees required traffic characteristics congestion control mechanisms implemented nodes patch bandwidth allocation algorithms buffer management schemes altogether factors determine performance network main goal research develop efficient techniques accurate models provide qos guarantees communicating sessions atm based networks relevant issues studied research actual performance data atm testbed examples general research topics domain qos studied include characterization multimedia traffic bandwidth allocation algorithms buffer management schemes traffic policing mechanism teaching information cps 807 information spring 1995 cps 422 information fall 1995 contact information herman hughes dept computer science 719 wells hall michigan state university east lansing mi 48824 1027 telephone 517 353 5152 fax 517 432 1061 email hughes cps msu


robert veroff professor computer science department university mexico farris engineering center albuquerque nm 87131 veroff cs unm phone 505 277 4231 fax 505 277 6927 ph northwestern university 1980 interests automated deduction expert database systems links automated deduction jar journal automated reasoning aar association automated reasoning cade conference automated deduction otter program searches proofs automated reasoning argonne national laboratory theorem proving systems groups qed project ora canada bibliography automated deduction books helman veroff intermediate problem solving data structures walls mirrors benjamin cummings publishing company menlo park california 1986 helman veroff walls mirrors intermediate problem solving data structures modula 2 edition benjamin cummings publishing company menlo park california 1988 veroff ed automated reasoning applications essays honor larry mit press cambridge massachusetts expected 1997 selected publications helman veroff designing deductive databases automated reasoning 4 1 29 68 1988 veroff resolution binary nature history impact computers encyclopedia artificial intelligence 2nd edition john wiley sons york pp 1341 1353 1991 veroff linked inference principle formal treatment automated reasoning 8 2 213 274 1992 veroff logical basis automation reasoning case studies deduction methodologies vol 2 handbook logic artificial intelligence logic programming eds gabbay robinson oxford university press oxford pp 1 40 1994 veroff hints increase effectiveness automated reasoning program case studies automated reasoning 16 3 223 239 1996 changed october 3 1996 veroff cs unm


web page brian assistant professor department computer science 416 edwards hall clemson university clemson south carolina 803 656 academia personal hobbies cs clemson department computer science home page img clemson university home page


chris edmondson yurkanan lecturer mathematics computer sciences 1974 computer sciences 1980 university texas austin professional service secretary treasurer acm sigcomm 1991 95 areas interest computer networks computer science education managing large software projects mobile networking database design summary research research interests protocols high speed communications protocol specification internetworking selected recent publications cobb edmondson yurkanan gouda universal mobile addressing internet proceedings 1st annual computer theory informatics conference press additional information obtained individual faculty members home pages img back list faculty profiles


laszlo fields interest include computational complexity theory algorithms combinatorics finite groups randomization plays role area major recent result obtained collaboration lance fortnow graduate students lund ph 91 mario ph 89 leonid levin boston university invention transparent proofs proofs verify small number shown formal mathematical proofs transformed transparent form result subsequent refinements found applications areas seemingly remote approximate discrete optimization optimal traveling salesman routing joint work graduate student bob ph 93 found monte carlo algorithms guaranteed performance bounds find structural elements matrix groups list generators work involves methods group theory combinatorics probability theory markov chains studying group actions graphs recent result asymptotic classification finite vertex symmetric graphs excluded minor connections hyperbolic geometry faculty interests back faculty interests home page home people theory modified mon mar 27 11 25 07 1995 millard cs uchicago


construction leana research interests multimedia information systems high performance computer systems modeling performance evaluation things leana education research activity teaching experience practical experience publications courses leana teaches e6998 42 architecture support large information systems fall 95 computer organization spring 96 multimedia information systems fall 96 leana contact information leana golubchik leana cs columbia


kanal email kanal cs umd current position professor cs umiacs ieee fellow academic degree ph university pennsylvania 1960 research interests machine intelligence search pattern recognition computer vision artificial neural systems


henry levy professor joined faculty 1983 hank current research projects focus operating systems parallel distributed computing computer architecture simultaneous multithreading architectures object based languages environments recent project called opal deals single address space operating systems 64 bit computer architectures etch project producing tool performance instrumentation optimization x86 binary executables levy author books numerous papers computer systems including outstanding paper selections consecutive acm symposia operating systems principles chair acm sigops special interest group operating systems program chair 16th acm symposium operating systems principles held 1997 holds carnegie mellon university university washington coming washington consulting engineer digital equipment corporation work spanned range operating systems architectures distributed systems workstations hank fellow association computing machinery recipient fulbright research scholar award eleven master students ph students survived levy supervision ph students escaped academic positions major research labs glued workstation hank found skiing biking playing tennis helping lead department infamous softball team smiling potatoes death sampling desserts seattle dessert recent publications reducing network latency global memory environment jamrozik feeley voelker evans ii karlin levy vernon proceedings seventh acm conference architectural support programming languages operating systems october 1996 postscript implementing global memory management workstation cluster michael feeley william morgan frederic pighin anna karlin henry levy chandramohan thekkath proc 15th acm symposium operating systems principles december 1995 simultaneous multithreading maximizing chip parallelism dean tullsen susan eggers henry levy proc 22nd annual international symposium computer architecture june 1995 exploiting choice instruction fetch issue implementable simultaneous multithreading processor dean tullsen susan eggers emer henry levy jack lo rebecca stamm proc 23rd international symposium computer architecture 1996 sharing protection single address space operating system jeffrey chase henry levy michael feeley edward lazowska acm transactions computer systems 12 4 november 1994 integrating coherency recoverability distributed systems michael feeley jeffrey chase vivek narasayya henry levy proc symposium operating systems design implementation november 1994 hardware software support efficient exception handling thekkath levy proc 6th int conf arch support prog languages operating systems asplos october 1994 separating data control transfer distributed operating systems thekkath levy lazowska proc 6th int conf arch support prog languages operating systems asplos october 1994 levy cs washington


1598 index search home previous dr jean pierre email scs carleton ca assistant professor dr received sc university ottawa ph artificial intelligence university toronto years worked bell northern research original designers toolset dr joined school computer science july 1991 research interests cognitive science natural language understanding case knowledge based tools object oriented technology index search home previous copyright 1996 school computer science updated tue feb 27 17 48 13 est 1996 email comments questions webmaster


dershowitz nachum business address 2111 digital computer laboratory department computer science college engineering university illinois urbana champaign 1304 west springfield avenue urbana illinois 61801 usa tel 217 333 fax 217 244 6500 mail nachum cs uiuc send email leave hebrew university areas research rewrite systems artificial intelligence automatic programming automated reasoning programming languages functional logic based equational object oriented software engineering calendar algorithms program verification program transformation theoretical computing analysis algorithms data structures theorem proving logic administrative marla brownfield interest calendar book rewriting page papers bibliographic files family img ui faculty index


dr frank associate professor school computer science carleton university ottawa canada dr received degree dipl inform technical university aachen germany 1983 ph dr rer nat university germany 1986 joined school computer science carleton university ottawa canada july 1986 research interests include design analysis algorithms computational geometry parallel processing parallel computational geometry parallel image processing dr managing editor journal information processing letters editor journal parallel algorithms applications received 1992 university research achievement award information consult pages img research img publications img teaching current courses img info projects pointers mail scs carleton ca mailing address school computer science carleton university ottawa canada k1s 5b6 office room 5332 physics building phone 613 520 2600 ext secretary 613 520 fax 613 520 www http www scs carleton ca scs faculty html number visitors copyright 1996 dr frank


udaya shankar email shankar cs umd current position associate professor computer science joint appointment umiacs academic degree ph university texas austin 1982 distributed algorithms cmsc 712 fall 96 solution hw 3 hw 4 including corrected problem 2 research assistantships research interests design analysis distributed systems network protocols correctness performance aspects current work assertional methods concurrent realtime systems layered systems found operating systems networking iteration numerical method fast performance prototyping adaptive high performance systems integrated services networks iteration accurate time evolutions probabilistic measures cost orders cheaper simulation recent work includes minimal latency transport protocols scalable tos policy routing mars routing testbed link state distance vector routing selected recent publications ts eliot updated october 24 1996


hamilton richards jr senior lecturer engineering applied physics 1960 1962 harvard college aero astronautics engineering 1966 stanford university ph computer science 1976 iowa state university professional service coordinator university texas austin year programming 1987 series editor ut 4 addison wesley 1990 areas interest functional programming concurrent processing object oriented programming undergraduate education summary research maintain long standing interest functional programming potential concurrent processing suitability formal reasoning fall 1995 functional programming language teaching section cs1 working time permits functional language implementation real microcomputer application longer term project book functional algorithms additional information obtained individual faculty members home pages img back list faculty profiles


bill buckles professor computer science address department electrical engineering computer science 301 stanley thomas hall tulane university orleans la 70118 phone number 1 504 862 3373 fax number 1 504 862 3293 buckles eecs tulane recent publications dev prabhu buckles behavior interconnected genetic algorithms simd environment submitted evolutionary computation postscript dev prabhu buckles genetic algorithms scene interpretation prototypical semantic description submitted ieee trans systems man cybernetics postscript cong cong xing buckles number expressions modulo commutativity finite semi group submitted siam discrete mathematics postscript research assistants needed seminar evolutionary computation spring 1997 teaching cpsc 300 600 principles computer science cpsc 420 620 analysis algorithms


previous contents steven feiner faculty research guide previous mukesh dalal daniel duchamp mobile computing laboratory work fields mobile computing operating systems general challenge build systems small wireless mobile computers current efforts focus building reconfigurable distributed services reconfigurable distributed services built implementations standard services file service x11 window service ip employing algorithms internally facilitate operation spite connection efficient limited bandwidth wireless links current operate speeds dynamic service location dynamic load balancing improve latency throughput continue work mobile computing years focusing projects making applications aware react location techniques automatically dynamically partitioning function program client portion running mobile computer server portion running stationary infrastructure machine exploitation low power solid state volatile storage technologies flash eeprom devices suited portable computers architecture distributed systems supporting mobility client server purpose intelligently filter essential data traveling infrastructure mobile host sabah al binali fri sep 22 16 39 42 edt 1995


dudek low quality picture professor dudek electronic mail dudek cim mcgill school computer science centre intelligent machines cim research areas navigation shape mobile robotics vision visualization recognition runs autonomous mobile robotics lab cim address centre intelligent machines mcgill university mcconnell engineering building room 420 3480 university street montreal canada h3a 2a7 telephone 514 398 fax 398 home 935 1940 secretary cim secretary cs mobile robot lab information visiting cim mcgill montreal teaching 308 fundamentals computer graphics 308 mobile robotics spatial representation 308 lecturer 308 coordinator principles assembly language programming alarm clock


alan cline david bruton jr centennial professor computer sciences professor mathematics applied mathematics 1967 mathematics 1968 ph mathematics 1970 university michigan professional service editor algorithms communications acm 1973 1975 associate editor acm transactions mathematical software 1975 1976 editorial board siam journal scientific statistical computing 1984 92 director special interest group numerical mathematics acm 1981 84 southern regional director computer professionals social responsibility 1987 89 areas interest mathematical software numerical analysis summary research interested transformation mathematics tools applied scientific problems involves construction mathematical software exploration methodologies mathematical software major software development package hundred subprograms curve surface fitting employing tension splines selected recent publications cline scattered data fitting constrained delaunay triangulation imacs transactions scientific computing 91 ai expert systems symbolic computation vol 3 north holland 1992 cline king routing scheduling coast guard interfaces vol 22 pp 56 72 1992 cline constrained dimensional triangulation solution closest node problems presence barriers siam journal numerical analysis vol 27 pp 1321 1990 cline set counter examples condition number siam journal scientific statistical computing vol 4 pp 602 611 1983 cline stewart wilkinson estimate condition number matrix siam journal numerical analysis vol 16 pp 368 375 1979 additional information obtained individual faculty members home pages img back list faculty profiles


alex professor department computer science rutgers university piscataway nj 08855 usa phone 908 445 fax 908 445 0537 email cs rutgers office core 315 research interests improved development techniques information systems maintain models aspect reality modified programs topic overlaps area databases concern managing large models knowledge representation interest inference natural modeling users world pursue goal research languages expressing requisite information including formal description implementation methodologies tools software development issues examined ranged software life cycle including requirements design implementation area knowledge representation selected publications description logics data management description logics data management ieee tkde oct 1995 loading data description sigmod 1993 washington dc theory implementation description logics relative expressive power description logics predicate calculus art int journal questions frames kr 96 boston ma explaining subsumption description logics ijcai 95 montreal semantics complete algorithm subsumption classic description logic artificial intelligence research vol 1 1994 patel schneider customizable classification inference description management system cikm 92 systematic development clasp reconstructed kr 92 conceptual modeling languages features languages development information systems conceptual level ieee software vol 2 1 january 1985 requirments modeling specification frame problem procedure ieee tse october 1995 reiter formal requirements modeling languages rml revisited icse 94 rome greenspan papers ftp cs rutgers technical reports ftp cs rutgers technical reports search web usenet display results submit


vo van toi ph professor vo picture visit due technical arrangement click information home page


karsten schwan research statement programming operating systems high performance platforms college computing georgia institute technology atlanta ga 30332 404 894 schwan cc gatech prof schwan working experimental commercial parallel machines inception late 70 research driven relevant applications developed part multidisciplinary laboratory georgia tech hppcel laboratory uniprocessor multiprocessor supercomputers cray machine ibm sp 2 networked sets workstations ibm rs6000 sun sgi machines research driven future heterogeneous smp distributed systems infrastructure experienced commercial research settings distributed laboratories project constructing heterogeneous computing environment consisting atm networked uniprocessor smp machines jointly offering computational power interconnection bandwidth modern supercomputers applications hppcel laboratory hppcel laboratory experimentation parallel applications undertaking development sample large scale parallel applications jointly end users atmospheric modeling finite element codes fluid flow applications case applications consist specific computational tasks include online analyses performed computations real time visualizations program data monitoring performance information executed simultaneously end users inspect program results steer program executions gain experimental insights additional applications evaluate operating system support program adaptation programming environments research included robotics applications real time simulations autonomous suspension vehicle schema based robot navigation discrete event simulations real time multi media applications involving multiple machines human end users design implementation interactive graphical interfaces high performance applications graph based searching algorithms solution operations research problems distributed laboratories topic joint research realization distributed laboratories individuals interact importantly powerful distributed computational tools readily located single site intent permit scientists engineers managers geographically distinct locations including individuals tele commuting home combine expertise solving shared problems allowing simultaneously view interact steer sophisticated computations executing high performance distributed computing platforms prof schwan primary contribution effort concerns construction distributed laboratory experimentation high performance numeric computations applications molecular physics atmospheric sciences working high performance atmospheric pollution modelling manufacturing systems addition prof schwan group involved development basic technologies facilitating future heterogeneous large scale distributed parallel systems technologies concerned middleware software directly utilized distributed laboratory applications detail falcon project studying dynamic monitoring adaptation interactive steering high performance computations line control virtual laboratory instruments experimentation complex simulation models distributed laboratory users project concerned distributed systems communication technologies underlying distributed laboratory applications emphasis distributed systems research support shared state multi distributed computing environments research communication protocols concerned providing communication latencies bandwidths transmission guarantees heterogeneous underlying communication media prof schwan current research addresses basic research topics addressing computational requirements underlying hardware systems presented hppcel distributed laboratory efforts programming support tools operating systems communication protocols programming tools falcon falcon project addresses construction interactive parallel programs permitting programmers steer applications steering defined program steering program interact human users execution purpose interactions line program information affect steer program execution falcon project goal high performance programs equally interactive commonly pc tools spreadsheets program performance maintained improved expectation scientists work effectively view program results execution steer program execution data domains initial experience line steering improve performance programs avoiding needless execution adapting algorithmically specific program abstractions match functionality dynamically varying program characteristics essence expect gain significant increases usefulness parallel programs end users program performance steering falcon offers specific support program performance monitoring evaluation tuning provide system integration support data dictionary falcon information required performance tuning easily captured analyzed displayed program performance improvement program monitoring performed identical fashion shared shared memory parallel machines language based graphical user interfaces programming extensions falcon development program tuning performed graphically explicit manipulation parallel programs displayed hierarchical sets related objects tools context large scale parallel applications interactively end users falcon tool operational suns sgis ibm rs 6000 ibm sp 2 ksr machine falcon programming extensions construction runtime support operational adaptable operating systems efficient execution parallel program requires operating system primitives match program performance reliability requirements constructing evaluating operating system mechanisms multiple parallel architectures studying high performance operating system support multiple parallel applications including real time applications scientific engineering codes discrete event simulations optimization codes research resulted software libraries facilitate construction parallel programs library commonly operating systems parallel computing courses uniprocessor multiprocessor machines extensions configurable address line monitoring configuration high performance parallel programs ranging rapid adaptation individual program abstractions user directed program steering specific examples configurable abstractions constructed basis include 1 adaptable multiprocessor locks improve program performance adapting lock characteristics program behavior program execution 2 adaptable communication protocols distributed shared abstractions library construction distributed objects shared prototype version distributed memory machines including networks workstations purpose support programmers construction efficient program abstractions capable spanning shared memory distributed memory platforms initial smp prototype extended address sets platforms including larger scale distributed systems project kernel toolkit substrate parallel programming development multiprocessor operating system kernels object level developers ability construct custom implementations object based operating system abstractions objects customized meta object interfaces object attributes implemented policies policies present runtime objects dynamically adapted suit varying runtime requirements parallel distributed applications attributes principal basis construction adaptable objects project git 93 35 scalable line multiprocessor scheduling real time systems authors zhou karsten schwan git cc 94 23 rapid multiprocessor scheduler dynamic real time applications authors harold forbes karsten schwan equally importantly recent research addressing formulation support timing constraints distributed information systems offering program program communications human interactive services systems benchmark application developed group emulate behavior video delivery systems dynamic systems git cc 94 29 ports experiences scheduler dynamic real time systems authors kaushik ghosh richard fujimoto karsten schwan git cc 94 57 reconfigurable garbage collection data structures speculative real time system authors kaushik ghosh recent publications jeffrey vetter karsten schwan progress toolkit interactive program steering proceedings international conference parallel processing 1995 wisconsin august 1995 gu greg eileen kraemer john stasko jeffrey vetter karsten schwan falcon line monitoring steering large scale parallel programs symposium frontiers massively parallel computation mclean virginia february 1995 jeffrey vetter greg gu thomas karsten schwan silva opportunities tools highly interactive distributed parallel computing color version proceedings workshop debugging tuning parallel computing systems ma october 1994 greg gu karsten schwan falcon interactive parallel programs line steering molecular dynamics application high performance distributed computing hpdc 3 san francisco ca aug 1994 gu jeffrey vetter karsten schwan annotated bibliography interactive program steering acm sigplan notices july 1994 kaushik ghosh kiran panesar richard fujimoto karsten schwan ports parallel optimistic real time simulator 8th workshop parallel distributed simulation pads july 1994 greg karsten schwan md flexible framework high speed parallel molecular dynamics high performance computing proceedings 1994 scs simulation multiconference pages 70 75 april 1994 society computer simulation ahmed mukherjee silva karsten schwan kernel support configurable objects invocations international workshop configurable distributed systems ieee acm march 1994 mukherjee karsten schwan improving performance adaptive objects experimentation configurable multiprocessor threads package international symposium high performance distributed computing hpdc 2 spokane washington july 1993 prince kohli karsten schwan indigo user level support building distributed shared abstractions fourth international symposium high performance distributed computing hpdc 4 kaushik ghosh richard fujimoto karsten schwan time warp simulation time constrained systems 7th workshop parallel distributed simulation pads san diego 1993 kaushik ghosh richard fujimoto karsten schwan testbed optimistic execution real time simulations ieee workshop parallel distributed real time systems newport beach april 1993 ahmed karsten schwan chaos arc kernel support atomic transactions real time applications acm transactions computer systems april 1993 zhou karsten schwan ian performance effects information sharing distributed multiprocessor real time scheduler 12th real time systems symposium dec 1992 karsten schwan zhou dynamic scheduling hard real time tasks real time threads ieee transactions software engineering august 1992 partial list current recent students greg falcon project harold forbes real time systems kaushik ghosh jointly fujimoto real time simulation gu falcon project daniela ivan real time communications scheduling robin high performance communications martin martin falcon project mukherjee adaptable operating system kernels byron jeff real time control multi media applications silva high performance objects phyllis schneck adaptable communications jeffrey vetter falcon project rich west real time threads communications zhou real time scheduling thomas mary jointly school eas parallel modeling atmospheric conditions shih chang chuang advisor fulton finite element computation parallel machines eileen kraemer advisor stasko performance animation parallel programs ranjit john advisor implementing programming weakly consistent memories


ben rosen professor emeritus numerical optimization parallel computing rosen cs umn office 612 625 education ph 1952 applied mathematics columbia university 1943 electrical engineering johns hopkins university cs footer comments questions line software list department home page department ftp server research projects system information apache logo modified thursday august 17 1995


max associate director national center geographic information analysis associate professor spatial information science engineering cooperating associate professor computer science boardman hall university maine orono 04469 tel 207 581 2114 fax 207 581 email max spatial maine curriculum vitae research activities publications invited talks tutorials program committees theses supervised courses updated november 24 1996 ncgia maine department spatial information science engineering


greg lavender adjunct assistant professor department computer sciences department electrical computer engineering university texas austin contact addresses research activities computer science computer engineering courses recommended reading biographical information suggestions improvements pages updated 05 05 96 lavender cs utexas


elke rundensteiner assistant professor contact info university michigan dept electrical engineering computer science 1301 beal avenue ann arbor mi 48109 2122 mail eecs umich tel 313 936 2971 fax 313 763 1503 office 3213 eecs research interests database systems object oriented multi media databases engineering scientific databases digital libraries research projects project descriptions project descriptions file postscript members research group students research group university michigan database group research papers reports listing papers publications biographical information vitae prof rundensteiner teaching winter 1994 information


george professor computer science research teaching interests interests include computer vision knowledge representation artificial intelligence recent work modeling recognition measurement objects theoretical practical aspects applications industrial agricultural medical domains addition topics teaching interests include algorithms data structures programming languages vita vita long vita research projects project descriptions representative publications data ftp teaching information teaching assignments 1995 96 current schedule cps 330 information spring 1996 cps 803 computer vision fall 1995 pointers michigan state university msu department computer science contact information george dept computer science 395 engineering building michigan state university east lansing mi 48824 1027 telephone 517 355 5240 fax 517 432 1061 email cps msu contact net escape river lake ll back


alan associate professor schedule research interests parallel graph algorithm computational geometry parallel graph algorithm research centers algorithms special classes graphs graphs similar techniques concepts lead algorithms computational geometry problems parallel algorithm construct constraint graph compaction vlsi circuits parallel tree search algorithms tree searching methods artificial intelligence ai optimization areas branch bound tree search method research centers partition branch bound task multiprocessor partition data structures shared memory distributed memory systems research addresses search strategies including alpha beta minimax breadth issues addressed include distributing coach shared memory multiprocessors distributed memory multiprocessors interprocessor communication maximize search efficiency letting processor show search information education ohio state university selected publications


donald greenberg jacob gould prof computer science director nsf science technology center computer graphics scientific visualization phd cornell university 1968 past decades computer graphics activities involved development wide range graphic input display techniques number input methods implemented progress made large variety display routines graphics research topics previously investigated include polygon clipping hidden surface algorithms spatial temporal aliasing problems geometric modeling parametric surface descriptions color science current focus graphics research involves dimensional modeling complex environments algorithms realistic image synthesis modular testbed sufficiently flexible evaluate modeling image generation techniques created laboratory research conducted light reflection models methods determining interaction reflecting surfaces techniques improving computational efficiency ray tracing parallel processing strategies perceptual studies micro geometry surface modeling motion control dynamics constraint modeling anti aliasing strategies host topics related complex modeling realistic image displays application research started volume rendering medical imaging digital photography animation development generic tools scientific visualization core technologies multi media environments research conducted facilities program computer graphics member national science foundation science technology center computer graphics scientific visualization participating universities brown university california institute technology university north carolina chapel hill university utah university activities director program computer graphics director national science foundation science technology center computer graphics scientific visualization professional activities editorial board computer graphics journal national academy engineering founding fellow american institute medical biological engineering fellow acm return 1994 1995 annual report home page departmental home page questions comments contact www cs cornell modified 24 november 1995 denise moore denise cs cornell


georgia tech gvu people search usemap john stasko associate professor college computing john stasko associate professor college computing graphics visualization usability center georgia tech earned degree mathematics bucknell university pennsylvania sc ph degrees computer science brown university providence rhode island serves associate editor journal visual languages computing panorama office college computing excuse mess img img img img img prof stasko research interests software visualization information visualization human computer interaction programming environments parallel programming software visualization working projects visualization parallel distributed programs visualization program understanding debugging visualization object oriented systems algorithm animation empirical analysis software visualizations learning aids specifically examining visualization animation added software environments order make programming easier programmers understand code working projects examining utility multimedia courseware computer science education cognitive principles multimedia training learning environments prof stasko ph students include dean working visualization object oriented programs understanding reverse engineering aid brad working monitoring visualization distributed cluster systems programming aid scott working visualization tools monitoring internet resources software architectures alex zhao working visualization large distributed systems 1996 97 academic year prof stasko teaching fall cs 4753 computer human interaction winter cs computer human interaction free time prof stasko hangs wife plays lot golf atlanta braves contact information john stasko graphics visualization usability center college computing room 253 801 atlantic drive georgia institute technology atlanta ga 30332 0280 phone 404 894 mail stasko cc gatech questions comments email gvu webmaster cc gatech


image photo charles department mathematics computer science concordia college office ivers phone 299 3347 mail cord academic background experience undergraduate degree concordia college 1958 mathematics physics ma 1960 ph 1963 university nebraska taught mathematics 3 years university missouri columbia 1966 taught mathematics computer science concordia college background abstract algebra led frequent teaching linear algebra abstract algebra calculus sequence taught geometry computer science software applications fall 1996 schedule math 210 8 30 mwf math 121 10 30 mwf math 121 1 20 mwf page created maintained charles cord date update 5 9 96 read disclaimer regard personal home page material return concordia home page


stuart russell professor computer science division 387 soda hall university california berkeley ca 94720 1776 510 642 russell cs berkeley research group russell unusual group students research areas including publications area publications chronological order teaching spring 1996 cs 188 introduction ai cv pointers british scientists abroad artificial intelligence modern approach rationality intelligence slides colour 35mm black white ijcai 95 computers thought lecture research areas interested building systems act intelligently real world end work broad spectrum topics ai grouped headings formal foundations provably intelligent systems machine learning including adaptive probabilistic networks real time decision making decision making uncertainty including project work project jitendra malik funded jpl provide real time intelligent traffic surveillance nation freeways cities publications 1996 stuart russell machine learning chapter 4 ed artificial intelligence academic press 1996 part handbook perception cognition shlomo zilberstein stuart russell optimal composition real time systems artificial intelligence 82 1 2 pp 181 213 1996 1995 stuart russell peter norvig solution manual artificial intelligence modern approach englewood cliffs nj prentice hall 1995 stuart russell rationality intelligence invited paper computers thought award proc fourteenth international joint conference artificial intelligence montreal canada 1995 jeff forbes tim huang stuart russell bayesian automated taxi proc fourteenth international joint conference artificial intelligence montreal canada 1995 ron parr stuart russell approximating optimal policies partially observable stochastic domains proc fourteenth international joint conference artificial intelligence montreal canada 1995 stuart russell john daphne koller local learning probabilistic networks hidden variables proc fourteenth international joint conference artificial intelligence montreal canada 1995 daphne koller stuart russell stochastic simulation algorithms dynamic probabilistic networks proceedings eleventh conference uncertainty artificial intelligence montreal canada morgan kaufmann 1995 jeff forbes tim huang stuart russell bayesian automated taxi sae future transportation technology conference costa mesa ca august 1995 stuart russell devika subramanian provably bounded optimal agents journal artificial intelligence research 2 1995 armand prieditis stuart russell eds machine learning proceedings twelfth international conference tahoe city ca morgan kaufmann 1995 shlomo zilberstein stuart russell approximate reasoning anytime algorithms natarajan ed imprecise approximate computation kluwer academic publishers dordrecht 1995 stephen stuart russell pac learnability constrained nonrecursive logic programs petsche hanson shavlik eds computational learning theory natural learning systems volume iii selecting good models mit press 1995 1994 stuart russell peter norvig artificial intelligence modern approach englewood cliffs nj prentice hall 1994 stuart russell peter norvig modern agent oriented approach ai instruction proceedings aaai fall symposium innovative instruction introductory ai orleans nov 1994 scott davies stuart russell np completeness searches smallest feature sets proceedings aaai fall symposium relevance orleans nov 1994 koller weber huang malik rao russell robust automatic traffic scene analysis real time proceedings international conference pattern recognition israel nov 1994 russell control strategies stochastic planner proceedings twelfth national conference artificial intelligence seattle wa 1994 huang koller malik rao russell weber automatic symbolic traffic scene analysis belief networks proceedings twelfth national conference artificial intelligence seattle wa 1994 stuart russell john daphne koller adaptive probabilistic networks technical report ucb csd 94 824 july 24 1994 1993 stuart russell devika subramanian provably baum ed computational learning cognition proceedings nec research symposium siam press 1993 tim huang gary stuart russell symbolic traffic scene analysis belief networks proc aaai workshop ai intelligent vehicle highway systems washington dc 1993 brenda stuart russell experiments adaptive indexing logic programming proceedings icml 93 workshop knowledge compilation speedup learning amherst ma june 1993 stuart russell devika subramanian constructing bounded optimal systems proc aaai spring symposium ai np hard problems stanford ca march 1993 gary stuart russell decision theoretic planning multiple execution architectures proc aaai spring symposium ai planning stanford ca march 1993 zilberstein russell anytime sensing planning action practical model robot control proc thirteenth international joint conference artificial intelligence chambery france 1993 stuart russell devika subramanian provably bounded optimal agents proc thirteenth international joint conference artificial intelligence chambery france 1993 gary stuart russell planning multiple execution architectures proceedings thirteenth international joint conference artificial intelligence chambery france morgan kaufmann 1993 russell efficient method constructing approximate decision trees large databases proceedings tenth international conference machine learning amherst ma 1993 1992 shlomo zilberstein stuart russell constructing utility driven real time systems anytime algorithms proc ieee workshop imprecise approximate computation phoenix az december 1992 shlomo zilberstein stuart russell control mobile robots anytime computation proceedings aaai fall symposium applications artificial intelligence real world autonomous mobile robots cambridge ma october 1992 shlomo zilberstein stuart russell reasoning optimal allocation time conditional performance profiles proc aaai 92 workshop implementations temporal reasoning san jose ca july 1992 stephen stuart russell pac learnability constrained nonrecursive logic programs proceedings international workshop computational learning theory natural learning systems 92 madison wi 1992 stuart russell efficient memory bounded search methods proceedings tenth european conference artificial intelligence vienna wiley 1992 stephen stuart russell pac learnability logic programs proceedings annual acm workshop computational learning theory colt 92 pittsburgh pa acm press 1992 ronald stuart russell long proceedings tenth national conference artificial intelligence san jose ca aaai press 1992 shlomo zilberstein stuart russell efficient resource bounded reasoning ralph proceedings international conference ai planning systems college park maryland morgan kaufmann 1992 1991 stuart russell architecture bounded rationality proceedings aaai symposium integrated architectures intelligent agents stanford march 1991 proceedings ijcai workshop theoretical practical design rational agents sydney august 1991 stuart russell shlomo zilberstein composing real time systems proceedings twelfth international joint conference artificial intelligence sydney australia morgan kaufmann 1991 stuart russell inductive learning machines philosophical studies 64 1 1991 stuart russell prior knowledge autonomous learning journal robotics autonomous systems 8 1991 stuart russell architecture bounded rationality sigart bulletin 2 4 1991 stuart russell eric principles artificial intelligence 49 1991 stuart russell eric thing studies limited rationality cambridge ma mit press 1991 1990 todd davies stuart russell logical approach reasoning analogy dietterich ed readings machine learning san mateo ca morgan kaufmann 1990 srinivas stuart russell alice automated construction sparse bayesian networks unstructured probabilistic models domain information kanal eds uncertainty artificial intelligence 5 amsterdam north holland 1990 stuart russell prior knowledge autonomous learning maes van der velde eds representation learning autonomous agent cambridge ma mit press 1990 benjamin stuart russell shift bias nonmonotonic reasoning eds machine learning meta reasoning logics dordrecht kluwer academic publishers 1990 stuart russell benjamin sketch autonomous learning declarative bias eds machine learning meta reasoning logics dordrecht kluwer academic publishers 1990 stuart russell devika subramanian mutual constraints representation inference eds machine learning meta reasoning logics dordrecht kluwer academic publishers 1990 andrew mayer stuart russell decision theoretic planning proceedings aaai symposium planning uncertain environments stanford march 1990 stuart russell fine grained decision theoretic search control proceedings sixth conference uncertainty artificial intelligence cambridge ma morgan kaufmann 1990 1989 benjamin stuart russell declarative bias structural domains research report rc ibm research division 1989 benjamin stuart russell shift bias nonmonotonic reasoning research report rc ibm research division 1989 stuart russell benjamin sketch autonomous learning declarative bias research report rc ibm research division 1989 stuart russell benjamin declarative bias overview benjamin ed change representation inductive bias dordrecht kluwer academic publishers 1989 eric stuart russell estimating computation case real time search proceedings aaai symposium ai limited rationality stanford march 1989 srinivas stuart russell alice automated construction sparse bayesian networks unstructured probabilistic models domain information proceedings workshop uncertainty artificial intelligence windsor ontario 1989 benjamin stuart russell declarative bias structural domains proceedings sixth international workshop machine learning ithaca ny morgan kaufmann 1989 eric stuart russell adaptive learning decision theoretic search control knowledge proceedings sixth international workshop machine learning ithaca ny morgan kaufmann 1989 stuart russell eric optimal game tree search rational proceedings eleventh international joint conference artificial intelligence detroit mi morgan kaufmann 1989 stuart russell execution architectures compilation proceedings eleventh international joint conference artificial intelligence detroit mi morgan kaufmann 1989 stuart russell eric principles meta reasoning proceedings international conference principles knowledge representation reasoning toronto ontario morgan kaufmann 1989 michael stuart russell boundaries proceedings international conference machine learning ann arbor mi morgan kaufmann 1989 stuart russell knowledge analogy induction london pitman 1989 1988 alice ramanathan stuart russell sensor fusion influence diagrams reasoning analogy application machine monitoring control working paper 88 0304 department mechanical engineering university california berkeley ca 1988 stuart russell eric decision theoretic search control general theory application game playing computer science division technical report 88 435 university california berkeley ca 1988 stuart russell analogy similarity david helman ed analogical reasoning boston ma reidel 1988 benjamin stuart russell shift bias nonmonotonic reasoning proceedings international workshop machine learning meta reasoning logics portugal 1988 stuart russell benjamin sketch autonomous learning declarative bias proceedings international workshop machine learning meta reasoning logics portugal 1988 stuart russell devika subramanian mutual constraints representation inference proceedings international workshop machine learning meta reasoning logics portugal 1988 michael stuart russell explanation based learning complex domains aaai symposium explanation based learning stanford march 1988 stuart russell eric multi level decision theoretic search aaai symposium computer game playing stanford march 1988 alice ramanathan stuart russell sensor fusion influence diagrams reasoning analogy application machine monitoring control proceedings international conference applications artificial intelligence engineering stanford ca computational mechanics institute 1988 stuart russell


university kentucky research interests structural complexity logical complexity computational complexity classes learning markov decision processes dna computing logic programming teaching cs 245 discrete math cs 580 design analysis algorithms semester teaching cs 675 computability complexity time place cs 675 changed 11 mwf 145 find schedule email address cs engr uky office phone number 606 257 addition academic interests dance squash beetle morris bicycle find time contra dancing ballroom dancing swing recent papers goldsmith christopher lusena martin mundhenk complexity deterministically observable finite horizon markov decision processes uk cs department technical report 269 96 judy goldsmith matthew levy martin mundhenk limited nondeterminism survey june 1996 complexity theory news column sigact news tech report version uk cs department technical report 267 96 appendix limited nondeterminism automata theory lance fortnow judy goldsmith matthew levy steve printable sets proc 1996 ieee conference computational complexity journal version siam computation stephen jonathan buss judy goldsmith sharply bounded alternation submitted tr96 011 electronic colloquium computational complexity conference version proc discrete math theoretical computer science 96 zealand dec 1996 richard beigel judy goldsmith downward separation fails limited nondeterminism classes 2 years siam computation conference version structures 94 judy goldsmith steve homer scalability isomorphism problem appeared ipl 1996 judy goldsmith andy klapper public key cryptography partial submitted team students matthew levy christopher lusena amy levy john postdoc martin mundhenk links web pages discrete mathematics theoretical computer science great theory database universitaet dortmund complexity graduate school information kit women computer science wits dane mcgregor accesses 3rd 1996 comics dilbert robotman ~


bill pugh email pugh cs umd phone 301 405 2705 office av williams associate professor dept computer science univ maryland college park nsf presidential young investigator pyi 1991 1996 1991 packard fellow join appointments umiacs academic degree ph cornell 1988 scholarly activities sigplan pldi 91 program committee sigplan pldi 92 tutorials chair popl 93 96 97 committees popl 97 webmaster teaching semester fall 1996 teaching aka compilers spring teaching advanced object oriented programming web stuff java stuff ve compiled list java resources including information java offered itv june 5th 6th introductory www tutorial wrote introductory www tutorial invited read ve written bring date html 2 0 web pages building maintaining web pages acm conference principles programming languages held paris 1997 friday faculty lunch organize lunch orders deliveries friday faculty lunches part ve scanned menus number college park area deliver research interests design analysis practical algorithms data structures general problems arise implementation programming languages environments investigation developed skip lists probabilistic data structure place balanced trees skip list balanced probability skip list substantially unbalanced insignificant algorithms insertion deletion skip lists simpler faster equivalent algorithms balanced trees current research focuses compilation techniques making effective massive parallelism computationally intensive scientific problems investigating algorithms data dependence analysis program programming languages scientific computations framework performing loop transformations programs improve performance executed massively parallel computers recently research focused integer programming algorithms array data dependence analysis integer programming np complete omega test algorithm developed efficient problems arise practice examining question array data dependence closely found queries asked complicated answered integer programming decision procedures subclass arithmetic extend omega test answer queries longer discussion omega project found selected publications skip lists probabilistic alternative balanced trees communications acm june 1990 uniform methods loop optimization international conference supercomputing cologne germany june 1991 omega test fast practical integer programming algorithm dependence analysis communications acm august 1992 exact method analysis based array data dependences proceedings sixth annual workshop programming languages compilers parallel computing june 1992 dave technical reports


ncsu computer science department home search directory mail alan alumni distinguished professor department head ph northwestern university 1969 dr primary research interest area developing improved file structures interest structures improve system performance applications tasks previously lack data structures interested database architectures improving usability software systems computer science education area file structures investigating improvements perfect hashing techniques file structures optical disks information filtering database architecture examining distributed architectures incorporated recent computer technologies optical disks user interfaces makes computer software usable computer science education interested encouraging greater emphasis teaching endeavors improving quality instruction representative publications file organization processing john wiley sons york 1988 398 pp adaptive hashing signatures information systems vol 18 8 1994 pp 597 608 eliminate pattern collisions perfect hashing brain ieee transactions knowledge data engineering vol 6 2 1994 pp 329 247 multi character text searching cooper information processing management vol 29 2 1993 pp 197 207 high storage utilization single probe retrieval linear hashing ou computer journal vol 34 5 1991 pp 455 468 users software model product evaluation holcomb interacting computers vol 3 2 1991 pp 155 166 department computer science box 8206 college engineering north carolina state university raleigh nc 27695 update 21 aug 96 auto format script


beth katz picture adjunct instructor computer science department millersville university helen mark busy find time teach computer science computing gardening love find time astronomy interests computing related interests teaching computer science cs161 millersville fall 1996 cs162 millersville spring 1996 teaching cs general wandering web altavista yahoo webcrawler local service providers service providers comprehensive local service providers comprehensive list lists local cities hypercard page web page hypercard nextstep openstep stepwise nextstep openstep information server mirror peanuts ftp comp sys frequently answered questions openstep examples creating www pages nextstep interests exploring world eyes children counted including design postscript page astronomy astronomy page life making plans john lennon connections cs161 fall 1996 beth katz cs161 class examples cs161 textbook examples millersville cs sun lab schedule mailbox beth katz katz cs millersv