Mathematics People

Total Page:16

File Type:pdf, Size:1020Kb

Mathematics People Mathematics People John B. Friedlander, John McKay, Edwin Perkins, Donald A. Borodin Receives 2008 CRM- Dawson, David Boyd, Nicole Tomczak-Jaegermann, and Fields-PIMS Prize Joel S. Feldman. Allan Borodin of the University of Toronto has been —From a Fields Institute announcement awarded the 2008 CRM-Fields-PIMS Prize. The prize, awarded annually by the Centre de Recherches Mathé- matiques (CRM), the Fields Institute, and the Pacific In- stitute for the Mathematical Sciences (PIMS), recognizes Devlin Awarded Sagan Prize exceptional contributions by a mathematician working in Keith Devlin of Stanford University has been awarded Canada. The prize carries a cash award of CA$10,000 (ap- the Carl Sagan Prize for Science Popularization. The proximately US$9,800) and an invitation to give a lecture prize is awarded by the Board of Trustees of Wonderfest at each institute. to honor researchers in the San Francisco Bay Area who According to the prize citation, Borodin “is a world make science accessible. The award carries a cash prize leader in the mathematical foundations of computer of US$5,000. science. His influence on theoretical computer science Devlin is a senior researcher at and executive director has been enormous, and its scope is very broad.” He has of the Center for the Study of Language and Information made fundamental contributions to many areas, includ- (CSLI) at Stanford and a cofounder of the Stanford Media X ing algebraic computations, resource trade-offs, routing research network and of the university’s H-STAR institute. in interconnection networks, parallel algorithms, online His current research focuses on applying mathematical algorithms, and adversarial queuing theory. Borodin received his bachelor’s degree in mathematics logic to studying reasoning, communication, and human from Rutgers University in 1963, his master’s degree in behavior. He has been an advisor to the television show electrical engineering and computer science in 1966 from NUMB3RS and appears on National Public Radio as “the Stevens Institute of Technology, and his Ph.D. in computer Math Guy”. He is a World Economic Forum fellow and a science from Cornell University in 1969. He was a systems fellow of the American Association for the Advancement programmer at Bell Laboratories from 1963 to 1966 and of Science. a research fellow at Cornell from 1966 to 1969. He has The Sagan Prize is awarded annually to an individual been a member of the computer science department at the who has contributed to the public understanding and University of Toronto since 1969 and served as chair of the appreciation of science, who is a legal resident of one of department from 1980 to 1985. He has edited many jour- the nine San Francisco Bay Area counties, and who has a nals, including SIAM Journal of Computing, Algorithmica, history of accomplishment in scientific research, at least Journal of Computer Algebra, Journal of Computational half of which was conducted in the Bay Area. Complexity, and Journal of Applicable Algebra in Engineer- ing, Communication, and Computing. He is a fellow of the —Elaine Kehoe Royal Society of Canada. The CRM and the Fields Institute established the CRM- Fields Prize in 1994 to recognize exceptional research in the mathematical sciences. In 2005, PIMS became an equal Prizes of the Mathematical partner, and the name was changed to the CRM-Fields-PIMS Society of Japan Prize. Previous recipients of the prize are H.S.M. (Donald) Coxeter, George A. Elliott, James Arthur, Robert V. Moody, The Mathematical Society of Japan (MSJ) awarded a num- Stephen A. Cook, Israel Michael Sigal, William T. Tutte, ber of prizes in autumn 2007. 394 NOTICES OF THE AMS VOLUME 55, NUMBER 3 Mathematics People Tadahisa Funaki of the University of Tokyo was awarded the Autumn Prize for his contributions to sto- Professor of the Year Awards chastic analysis on large-scale interacting systems, in Announced particular on the Ginzburg-Landau φ intersurface model ∇ and the low-temperature limit of interacting Brownian Two mathematicians have been selected as National Pro- particles. The Autumn Prize is awarded to an individual fessors of the Year by the Carnegie Foundation for the who has made outstanding contributions within the Advancement of Teaching and the Council for Advance- preceding five years to mathematics in the highest and ment and Support of Education (CASE), which cosponsor broadest sense. the awards, and another mathematician has received a Shigeyuki Morita and Kenichi Yoshikawa, both State Professor of the Year award. The Professor of the of the University of Tokyo, were awarded the Geometry Year Awards are intended to reward outstanding profes- Prizes. Morita was recognized for his fundamental research sors for their dedication to teaching, their commitment to work on mapping class groups, in particular his discovery students, and their innovative instructional methods. of the Mumford-Morita-Miller characteristic classes, which Rosemary M. Karr of Collin County Community Col- resolves the structure of the stable cohomology algebra lege was named Outstanding Community Colleges Pro- of mapping class groups. Yoshikawa was honored for his fessor for 2007. She developed Passport Mathematics, a research work on the Ray-Singer analytic torsion and its holistic, self-paced program that cuts math anxiety and boosts self-confidence while providing a strong founda- behavior on various moduli spaces, which derives, for tion in mathematics. Participants in the program also put instance, a geometric construction of Borcherds modular their math skills to work in the community by tutoring forms for the moduli space of K3 surfaces. at-risk young people and by writing about their experi- The Analysis Prizes have been awarded to Shigeki Aida ences in journals. of Osaka University, Toshiaki Hishida of Niigata Univer- Carlos G. Spaht of Louisiana State University, Shreve- sity, and Takeshi Hirai of Kyoto University in recognition port, was selected as Outstanding Master’s Universities of their outstanding contributions to analysis. Aida was and Colleges Professor for 2007. He created a two-year honored for his contributions to stochastic analysis in program that helps to prepare underserved middle and infinite-dimensional spaces, with special reference to high school students for college programs in math, sci- his work on functional inequalities, symmetric diffusion ence, and engineering. He directs a tutoring program for processes, and semiclassical limits. Hishida was recog- inner-city youths in the Shreveport area and helped de- nized for his contributions to the new developments in velop a financial literacy course for high school teachers Fujita-Kato theory for the Navier-Stokes equations and, in and students. He is a past recipient of a Presidential Award particular, for his work on Navier-Stokes flows in aperture for Excellence in Science, Mathematics and Engineering domains and around rotating bodies. Hirai was honored Mentoring. for his contributions to the representation theory of Frank Jones of Rice University in Texas was honored infinite symmetric groups, with special reference to his as a State Professor of the Year. The State Professors of work on irreducible representations of infinite symmetric the Year Award Program selects outstanding educators groups. in all fifty states, the District of Columbia, Guam, Puerto Rico, and the U.S. Virgin Islands. Winners receive person- —From a Mathematical Society of Japan announcement alized award certificates and national and local media recognition. Venkatesh Receives Packard —From a Carnegie Foundation announcement Fellowship Akshay Venkatesh, a mathematician at the Courant Insti- Rhodes Scholarships Awarded tute of Mathematical Sciences of New York University, has Two students in the mathematical sciences are among the received a Fellowship for Science and Engineering from the thirty-two American men and women chosen as Rhodes David and Lucile Packard Foundation for the year 2007. Scholars by the Rhodes Scholarship Trust. The Rhodes He will conduct research in number theory, in particular Scholars were chosen from among 764 applicants who developing a suite of techniques to study L-functions from were endorsed by 294 different colleges and universities the analytic viewpoint using ideas from various fields of in a nationwide competition. The names and brief biogra- mathematics, including nonabelian harmonic analysis and phies of the mathematics scholars follow. ergodic theory. Adam M. Levine of the Bronx, New York, is a senior at The Packard Fellowships are awarded to researchers Dartmouth College, where he majors in anthropology, art in mathematics, natural sciences, computer science, and history, and mathematics and social science. His under- engineering who are in the first three years of a faculty graduate thesis in art history is an examination of canoni- appointment. cal images of Christ. He is interested in the application of mathematical network analysis to art, historical, and —From a Packard Foundation announcement anthropological studies. He is also a light heavyweight MARCH 2008 NOTICES OF THE AMS 395 Mathematics People boxer. He plans to study for a D.Phil. in classics at Ox- 2007. He speaks Bengali and Spanish fluently. He plans to ford. study mathematics or physics and would like to become Shayak Sarkar of Edinburg, Texas, received both his a professor of mathematics. bachelor of arts degree in applied mathematics and a Alexander C. Huang of Plano, Texas, received a master’s degree in statistics from Harvard University in US$10,000 scholarship for his project, “Mathematical 2007. He was elected to Phi Beta Kappa as a junior and won Modeling of a Eukaryotic Circadian Clock”. Huang is a se- a prize for his thesis on America’s homeless children. He nior at Plano Senior High School. His biophysics research is interested in applying his analytical skills in mathemat- utilizes circadian-clock rhythms in bread mold to assist ics, statistics, and economics to the problems of poverty, in the understanding of various biological cycles of living especially affordable housing and education reform.
Recommended publications
  • Variations on the Sensitivity Conjecture
    THEORY OF COMPUTING LIBRARY GRADUATE SURVEYS 4 (2011), pp. 1–27 www.theoryofcomputing.org Variations on the Sensitivity Conjecture Pooya Hatami Raghav Kulkarni Denis Pankratov Received: November 2, 2010; published: June 22, 2011. Abstract: The sensitivity of a Boolean function f of n Boolean variables is the maximum over all inputs x of the number of positions i such that flipping the i-th bit of x changes the value of f (x). Permitting to flip disjoint blocks of bits leads to the notion of block sensitivity, known to be polynomially related to a number of other complexity measures of f , including the decision-tree complexity, the polynomial degree, and the certificate complexity. A long-standing open question is whether sensitivity also belongs to this equivalence class. A positive answer to this question is known as the Sensitivity Conjecture. We present a selection of known as well as new variants of the Sensitivity Conjecture and point out some weaker versions that are also open. Among other things, we relate the problem to Communication Complexity via recent results by Sherstov (QIC 2010). We also indicate new connections to Fourier analysis. ACM Classification: F.0, F.1, F.2 AMS Classification: 68-02, 68Q05, 68Q25 Key words and phrases: sensitivity, block sensitivity, complexity measures of Boolean functions 1 The Sensitivity Conjecture For Boolean strings x;y 2 f0;1gn let x ⊕ y 2 f0;1gn denote the coordinate-wise exclusive or of x and y. n th Let ei 2 f0;1g denote an n-bit Boolean string whose i bit is 1 and the rest of the bits are 0: Let f : f0;1gn ! f0;1g be a Boolean function.
    [Show full text]
  • CS Cornell 40Th Anniversary Booklet
    Contents Welcome from the CS Chair .................................................................................3 Symposium program .............................................................................................4 Meet the speakers ..................................................................................................5 The Cornell environment The Cornell CS ambience ..............................................................................6 Faculty of Computing and Information Science ............................................8 Information Science Program ........................................................................9 College of Engineering ................................................................................10 College of Arts & Sciences ..........................................................................11 Selected articles Mission-critical distributed systems ............................................................ 12 Language-based security ............................................................................. 14 A grand challenge in computer networking .................................................16 Data mining, today and tomorrow ...............................................................18 Grid computing and Web services ...............................................................20 The science of networks .............................................................................. 22 Search engines that learn from experience ..................................................24
    [Show full text]
  • Job Market Candidate Profiles 2016
    SIGecom Job Market Candidate Profiles 2016 Edited by SHADDIN DUGHMI, VASILIS GKATZELIS, and JASON HARTLINE In the sixteen years since the inception of EC as the flagship conference of the SIGecom community, we have learned a lot about the efficiency (or lack thereof) of markets. We have studied markets for school choice, marriage, supply chains, advertising, etc. We understand the loss in welfare from decentralized versus centralized market mechanisms. We understand that information plays an important role in market efficiency and stability. Profiled herein are thirty candidates for the 2016 junior academic job market with research areas that span the interest of the SIGecom community. Though it may not be a complete list, we hope that it will help alleviate some of the informational inefficiencies in the most important market for the community, its junior faculty job market. A table of contents lists the candidates in alphabetical order with keywords they provided. The candidate profiles are listed with brief biographies, research summaries, and three representative papers. Following the candidate profiles is an index of the candidates by keywords. Fig. 1. Generated using the research summaries of the candidates. Contents Nick Arnosti matching, market design, auction theory .................. 4 Markus Brill preference aggregation, tournament solutions, strategyproofness .... 5 Yun Kuen Cheung equilibrium computation, tatonnement, market games .......... 7 Ilan Cohen mechanism design, dynamic posted price schemes ............. 8 ACM SIGecom Exchanges, Vol. 14, No. 1, June 2015, Pages 2{40 3 · S. Dughmi, V. Gkatzelis, and J. Hartline John P. Dickerson stochastic optimization, dynamic matching, kidney exchange ...... 9 Aris Filos-Ratsikas mechanism design, voting, matching, fair division ............
    [Show full text]
  • A Special Issue on Formal Proof
    Notices of the American Mathematical Society ISSN 0002-9920 ABCD springer.com New and Noteworthy from Springer Least-Squares Collected More Math Into LaTeX Finite Element Methods Papers of G. Grätzer, University of Manitoba, of the American Mathematical Society P. B. Bochev, Sandia National Bertram Winnipeg, MB, Canada December 2008 Volume 55, Number 11 Laboratories, Albuquerque, NM, USA; Kostant In this fourth edition, the reader is M. D. Gunzburger, Florida State provided with important updates on University, Tallahassee, FL, USA Volume I articles and books. An important new 1955-1966 This book provides researchers and topic is discussed: transparencies practitioners with a concise guide to the B. Kostant, (computer projections). A new online theory and practice of least-square Massachusetts visual tutorial is also available. Please finite element methods, their strengths Institute of Technology, Cambridge, visit springer.com/978-0-387-32289-6 Formal Proof and weaknesses, established successes, MA, USA for more information, or take a tour of and open problems. Editors: A. Joseph, Weizmann Institute, this unique tutorial. page 1370 Israel; S. Kumar, UNC Chapel Hill, NC, 2007. XXXIV, 619 p. 44 illus. Softcover 2009. Approx. 285 p. (Applied Mathe- USA; M. Vergne, École Polytechnique, ISBN 978-0-387-32289-6 $49.95 matical Sciences, Volume 166) Hardcover Palaiseau Cedex, France Formal Proof—The ISBN 978-0-387-30888-3 approx. $69.95 For more than five decades Bertram Generalized Four-Color Theorem Elementary Number Kostant has been one of the major Measure architects of modern Lie theory. page 1382 Theory: Primes, Virtually all of his papers are pioneering Theory Congruences, and Secrets with deep consequences, many giving Z.
    [Show full text]
  • Contents U U U
    Contents u u u ACM Awards Reception and Banquet, June 2018 .................................................. 2 Introduction ......................................................................................................................... 3 A.M. Turing Award .............................................................................................................. 4 ACM Prize in Computing ................................................................................................. 5 ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award ............. 6 ACM – AAAI Allen Newell Award .................................................................................. 7 Software System Award ................................................................................................... 8 Grace Murray Hopper Award ......................................................................................... 9 Paris Kanellakis Theory and Practice Award ...........................................................10 Karl V. Karlstrom Outstanding Educator Award .....................................................11 Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics ..........................................................12 Distinguished Service Award .......................................................................................13 ACM Athena Lecturer Award ........................................................................................14 Outstanding Contribution
    [Show full text]
  • Spring 2008 [Pdf]
    Le Bulletin du CRM • www.crm.math.ca • Printemps/Spring 2008 | Volume 14 – No 1 | Le Centre de recherches mathématiques Thematic Program on Probabilistic Methods in Mathematical Physics June 2, 2008 – June 13, 2009 by John Harnad (Concordia University and CRM) The coordinators for this thematic program are: Pavel Bleher both as conference participants and long-term visitors. It will (IUPUI), John Harnad (Concordia), Steve Zelditch (Johns Hop- also provide an environment in which young researchers may kins). They were assisted in setting the themes and choos- learn from the leaders in these areas and be encouraged to con- ing the organizers for the various workshops by a Scientific tribute to the exciting ongoing developments. Committee, chaired by John Harnad, consisting of the follow- Interactions and cross-fertilization between distinct fields have ing ten further members: Pavel Bleher (IUPUI), David Bry- led to dramatic new discoveries, and suggest that much more dges (UBC), Alice Guionnet (ENS Lyon), Charles Newman remains to be learned. One workshop will be devoted to rela- (Courant Inst.), Yvan Saint-Aubin (Montréal), Herbert Spohn tively recent developments concerning the Schramm Loewner (TU München), Craig Tracy (UC Davis), Pavel Winternitz (Montréal), Steve Zelditch (Johns Hopkins) and Jean-Bernard Zuber (CEA, Saclay; LPTHE, Paris 6) Randomness is present in nearly all physical measurements, and is an essential feature in the description of any physical system in which there is uncertainty in initial conditions or so many degrees of freedom that a meaningful microscopic de- scription is only possible in terms of averaged quantities. More- over, the probabilistic interpretation of measurement lies at the very root of the quantum description of nature.
    [Show full text]
  • T of C and Messages P
    Computing and Information Science at Cornell 2000-2001 Annual Report Education and Research ○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○○ Table of Contents ○○○○○○○ Message from the Dean for Computing and Information Science 4 Message from the Chair of Computer Science 7 COMPUTING AND INFORMATION SCIENCE 10 Highlights Computer Systems Laboratory with Electrical and Computer Engineering 10 Information Assurance Institute 10 Intelligent Information Systems Institute 11 Johnson Graduate School of Management Joint Program 12 Cornell Theory Center 12 New Faculty 13 Faculty and Senior Researcher Biographies 20 COMPUTER SCIENCE DEPARTMENT Highlights 75 Bits On Our Mind (BOOM) 2001 75 Corporate Interactions 76 Corporate Partnerships and Affiliations 76 Industrial Partners 77 Corporate Gifts and Grants 77 Alumni Relations 78 Educational Statistics 79 Undergraduate Courses and Enrollment 79 Graduate Courses and Enrollment 80 Degrees Granted 81 Awards 85 Research 86 Funded Research 86 Submitted Research Proposals 88 Collaborative Funded Research at Cornell 90 Research Interests of Faculty and Senior Researchers 91 CS People at a Glance 92 Editorial Activities of the Faculty 92 Faculty Personnel Changes 93 Faculty, Researchers, and Academic Visitors 94 Administrative and Technical Staff 95 Departmental Computing Facilities 96 Colloquium and Seminar Speakers 98 Publications 99 Technical Reports 99 Student Lectures 100 Student Publications 101 FACULTY OF COMPUTING AND INFORMATION Programs 103 Computational Biology 103 Computational Science and Engineering 103 Digital Arts and Graphics 104 Information Science 104 Message from the Dean his has been a busy and productive year in the short life of the Cornell Tinitiative in Computing and Information Science (CIS). We hired three more faculty with appointments in the Faculty of Computing and Information (FCI), Paul Ginsparg, joint with Physics; Phoebe Sengers, joint with Science & Tech- nology Studies; and Hod Lipson, joint with the Sibley School of Mechanical & Aerospace Engineering.
    [Show full text]
  • Annual Report of the ACM Awards Committee for the Period July 1, 2009 - June 30, 2010
    Annual Report of the ACM Awards Committee for the Period July 1, 2009 - June 30, 2010 1. BASIC INFORMATION 1.1 List of Award Subcommittee Members and Terms of Office Calvin C. Gotlieb, Awards Ctte.Co-Chair 4/1/98-6/30/10 James Jay Horning, Awards Ctte. Co-Chair 7/02-6/30/10 Martín Abadi 12/4/07-12/31/11 Hal Abelson 12/03-12/31/09 Frances E. Allen 11/18/08-12/31/14 Rajeev Alur 12/20/06-12/31/09 P. Anandan 11/11/08-12/31/12 Hagit Attiya 9/25/09-12/31/12 Jean-Loup Baer 3/31/08-12/31/10 Melanie Baljko 12/4/09-12/31/13 Reinaldo Bergamaschi 4/27/06-12/31/09 Brian Bershad 12/4/07-12/31/11 Nina Bhatti Allan Borodin 4/14/10-12/31/04 Stephen R. Bourne 3/6/06-12/31/10 Eric Brewer 3/05- Cynthia Brown 7/11/07-12/31/09 Vinton Cerf 11/2/06-12/31/11 Jennifer Chayes 6/26/07-12/31/12 Lori Clarke 8/19/08-12/31/11 Anne Condon 5/26/10-12/31/15 Robb Cutler 4/14/10-12/31/13 James W. Demmel 3/9/06-12/31/09 Thom Dunning 5/12/10-12/31/15 Stuart I. Feldman 9/12/08-12/31/13 Eugene Fiume 4/14/10-12/31/13 Christian Freksa 7/05- Adele Goldberg 4/25/06-12/31/09-Distinguished Member 5/12/10-12/31/15-Turing Georg Gottlob 5/12/10-12/31/14 Susan L.
    [Show full text]
  • Bespeak Dissertation Fast
    bespeak Dissertation fast The following is an academic genealogy of computer scientists and is constructed by following the pedigree of thesis advisors. == Europe == === Denmark === Peter Naur (Olivier Danvy) === Finland === Arto Salomaa === France === Many French computer scientists worked at the National Institute for Research in Computer Science and Control (INRIA). Marcel-Paul Schützenberger Maurice Nivat Philippe Flajolet Gérard Huet Francois Fages Thierry Coquand Hugo Herbelin Xavier Leroy Christine Paulin-Mohring Didier Rémy François Pottier Bruno Courcelle Louis Nolin Bernard Robinet Emmanuel Saint-James Olivier Danvy (Secondary advisor: Emmanuel Saint-James) Jean-François Perrot Jacques Sakarovitch Jean-Eric Pin Pascal Weil Gérard Berry Gilles Kahn Patrick Cousot Alain Colmerauer === Germany === Karl Steinbuch Franz Baader Carl Adam Petri Martin Odersky === Italy === Corrado Böhm Ugo Montanari Paolo Ciancarini Roberto Gorrieri Nadia Busi Davide Sangiorgi === Netherlands === ==== Van Wijngaarden / Dijkstra ==== Adriaan van Wijngaarden was director of the computer science department at the Centrum Wiskunde & Informatica. It was influential in the development of ALGOL 68. Cornelis Benjamin Biezeno (1933: honoris causa. Universiteit van Amsterdam) Adriaan van Wijngaarden (1945: Enige toepassingen van Fourierintegralen op elastische problemen. Technische Universiteit Delft) Willem van der Poel (1956: The Logical Principles of Some Simple Computers. Universiteit van Amsterdam) Gerard Holzmann (1979: Coordination Problems in Multiprocessing
    [Show full text]
  • Curriculum Vitae Kim Skak Larsen November 18, 2020
    Curriculum Vitae Kim Skak Larsen November 18, 2020 Department of Mathematics and Computer Science University of Southern Denmark, Odense Campusvej 55 e-mail: [email protected] DK-5230 Odense M URL: https://imada.sdu.dk/∼kslarsen/ Denmark phone: +45 6550 2328 Degrees • Ph.D., Computer Science, University of Aarhus, 1993 (March 8). Advisor: Erik Meineche Schmidt. Area: Algorithmics/Databases. Thesis: High Level Efficiency in Database Languages. • M.S. (cand. scient.), Computer Science, University of Aarhus, 1988 (August 31). Advisor: Mogens Nielsen. Area: Concurrency (Semantics). Thesis: A Fully Abstract Model for a Process Algebra with Refinement. • B.S. (bifag), Mathematics and Computer Science, University of Aarhus, 1985. Honors • Knight of the Order of Dannebrog (Ridder af Dannebrog), appointed by Her Majesty Queen Margrethe II of Denmark, October 30, 2015. • Best Newcomer, Awarded by the Program Committee of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Primary Research Interests Online Algorithms, Data Structures, Database Systems, Algorithmics. Full-Time Work Experience • Professor (Full Professor), Department of Mathematics and Computer Science, Uni- versity of Southern Denmark, Odense, 2004 to present. • Institutleder (Head of Department), Department of Mathematics and Computer Sci- ence, University of Southern Denmark, Odense, 2003–2006. • Lektor (Associate Professor), Department of Mathematics and Computer Science, University of Southern Denmark, Odense, 1997–2004. • Adjunkt (Assistant Professor), Department of Mathematics and Computer Science, Odense University, 1995–1997. • Forskningsadjunkt (Post Doc), Department of Mathematics and Computer Science, Odense University, 1993–1994. Additional Paid Work during Academic Career • Various expert/consultant tasks for industry. • A large number of external examiner tasks (see later).
    [Show full text]