Back to Results
First PageMeta Content
Logic / Formal sciences / Frege system / Propositional calculus / IEEE Symposium on Logic in Computer Science / Mathematical logic / Logic programming / Proof theory / Samuel Buss / Theoretical computer science / Logic in computer science / Mathematics


Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego
Add to Reading List

Document Date: 2013-03-11 00:53:25


Open Document

File Size: 102,14 KB

Share Result on Facebook

City

Trento / Santa Barbara / San Antonio / Montreal / Ottawa / Las Vegas / Amsterdam / Kazimierz / St. Petersburg / Barcelona / Leeds / Chennai / Helsinki / Oberwolfach / New York / Banff / Ithaca / Washington / DC / Turku / Madeira / Prague / Cracow / Midtown / Luminy / Greifswald / Natal / Angers / Lisbon / San Diego / /

Company

Cambridge University Press / Oxford University Press / IEEE-Computer Society Press / Illusion Inc. / Franklin Computer / Proximity Designs Corp / Science Applications International Corporation / IEEE Computer / Rockstar Games / SIAM Journal / Proximity Technology Inc / Microsoft / ACM Transactions / Handbook / /

Country

Bulgaria / France / Brazil / Canada / Portugal / United Kingdom / Finland / India / Germany / Italy / Poland / United States / Spain / Czech Republic / /

/

Facility

Mathematical Sciences Research Institute / Mathematics University of California / Emory University / Sahara Hotel / Mathematical Sciences Institute / University of California / Princeton University / Newton Institute / Carnegie Mellon University / Education Princeton University / Academic Employment University of California / /

IndustryTerm

vehicle dynamics software / pattern matching algorithm / sbuss@math.ucsd.edu Web / parallel algorithm / /

NaturalFeature

Deerfield Beach / /

Organization

Cambridge University / UC Berkeley / N.S.F. / Princeton University / Program Committee / Mathematical Sciences Institute / Advisory Board / Computer Science Department / Association for Symbolic Logic / Mathematics University / Emory University / Czechoslovakian Academy of Sciences / International Congress / American Mathematical Society / Carnegie Mellon University / Oxford University / University of California / San Diego / London Mathematical Society / Rutgers / National Science Foundation / Cornell / Cambridge Univ. / University of California / Berkeley / Department of Mathematics / Organizing Committee / Subcommittee for Proof Theory / Czechoslovakian Academy of Science Cooperative Research Grant / Congress / American Mathematic Society / International Criminal Court / Newton Institute / IEEE Computer Society / Midnight Club / Stanford / /

Person

Maria Luisa Bonet / Peter Clote / Christos H. Papadimitriou / M. Luisa Bonet / Logic Colloquium / Formal Logic / Jan Kraj / Proof Complexity / Solovay / Paul W. Beame / Samuel R. Buss / Feasible Mathematics / Steve Bloch / Stephen A. Cook / Toniann Pitassi / Phillip J. Scott / Pavel Pudl / Maria Bonet / Chris Pollett / Robert A. Harbort / Peter N. Yianilos / Arvind Gupta / Louise Hay / John N. Tsitsiklis / Vijaya Ramachandran / David Robinson / Alan Johnson / Gay Tony / Aleksandar Ignjatovi / Feasible Arithmetics Proceedings / /

/

Position

Engineer / Vice-chair / Professor / designer / Conference Co-Chair / Professor of Mathematics / Managing Editor / Associate Professor / Editor / Vice-President / Consultant / Activities Editor / Advisory Editor / Assistant Professor / Lecturer / Chair / /

Product

Indy / /

ProvinceOrState

New York / California / Texas / /

PublishedMedium

Philosophy of Science / SIAM Journal on Computing / Computer Graphics / Theoretical Computer Science / Complex Systems / Theory of Computing / Lecture Notes in Computer Science / /

TVStation

Wis / /

Technology

3-D / pattern matching algorithm / minimum-cost matching algorithms / ASL / virtual reality / cellular telephone / Designing computer algorithms / simulation / /

URL

http /

SocialTag