Very often a mathematician considers his colleague from a different domain with disdain — what kind of a perverse joy can this guy find in his unmotivated and plainly boring subject? I’ve tried to learn the hidden beauty in various things, but still for many areas the source of interest is for me a complete mystery.
I hope to see a change in the reward structure and system of values at research-oriented universities so that teaching and expository writing become legitimate as a specialty. This will help to improve the current situation in which many advanced areas of mathematics are inaccessible to most students because no satisfactory exposition exists. I hope to see more mathematicians write lecture notes for their courses and post the results on the web for all to use.
A growing collection including the archive of over 14,000 titles from 1841 to the present The 2005 – 2009 set was purchased with the generous support of an anonymous donor to honor Alex Rosenberg.
An extensive selection of more than 1000 e-books from Cambridge University Press that includes books published for the London Mathematical Society. Includes books from 100 years ago to the present.
A collection of over 500 titles from Cornell University. If you are interested in purchasing a hard copy of any title, you can do so through our print-on-demand service, or through Amazon.com.
Piotr Mikusinski:Hilbert Spaces with Applications, Lokenath Debnath and Piotr Mikusinski, 这是一本599页的书，比较侧重于希尔伯特空间及其应用。包含了的方程，量子物理，小波变换等课题。Basic Classes of Linear Operators, Israel Gohberg, Seymour Goldberg, Marinus A. Kaashoek, 非常好的泛函分析的书。虽然标题是算子，但是内容还是比较循序渐进地从一些基础的问题开始。这本书相对于1,2都要深入很多（后面包含Poincare Operators, Fredholm Operators, Toeplitz Operators等课题）。但是可读性依然很强。
SINGACOM: SINGACOM is a research group with head at the Deparment of Algebra, Mathematical Analysis, Geometry and Topology (Science Faculty, University of Valladolid), however it includes research people from other Deparments of the University of Valladolid and other Universities.In this web you will find information on our activities and our research themes.
Yi-Zhi Huang老师是做数学物理的，他的
Research Interests(from his homepage): I am mainly interested in the mathematical foundation of quantum field theory and its applications in algebra, topology, geometry, condensed matter physics and string theory. In the next few years, I will mostly work on the constructions and study of nonlinear sigma models and its applications in differential geometry and elliptic cohomology, the moduli space of two-dimensional conformal field theories and the applications of two-dimensional conformal field theories to quantum hall systems and topological quantum computation.以及Huang的两位学生：
Robert从事与计算机的工作并发表了许多著名的文章，比如1967年发表的关于程序验证领域的前瞻性文章--Assigning Meanings to Programs.。Robert在程序验证方面的开创性研究对后来程序验证领域著名的Hoare Logic有很大的积极影响作用，这也是为什么我们也通常称Hoare Logic叫做Floyd-Hoare Logic。Hoare是在1969年发表其著名的 "An axiomatic basis for computer programming"Classic Papers in Programming Languages and Logic
Niklaus Emil Wirth:程序设计语言设计、程序设计;他的文章Program Development by Stepwise Refinement视为软件工程中的经典之作。他写的一本书的书名Algorithms + Data Structures = Programs（算法+数据结构=程序）是计算机科学的名句。
Butler W. Lampson:分布式，个人计算环境;首次提出个人电脑设计概念——"在计算机科学中的任何问题，都可以用加上另一层间接参照来解决。（Any problem in computer science can be solved with another level of indirection）"
Leslie Lamport:对于分布式及并形系统的理论与实践具有基础性贡献，尤其是诸如因果逻辑时序（causality and logical clocks）、安全性与存活度（safety and liveness）、复制状态机（replicated state machines）及循序一致性（sequential consistency）等理论概念的发明
Demetri Terzopoulos(2020)For a leading role in developing computer vision, computer graphics, and medical imaging through pioneering research that has helped unify these fields and has impacted related disciplines within and beyond computer science.
Jack Dongarra (2020):For leadership in the area of high-performance mathematical software.
Jitendra Malik(2019):(2019) IEEE Fellow、ACM Fellow,Jitendra Malik 也是李飞飞的良师益友，李飞飞曾表示 Jitendra Malik 是对她影响最大的三位学者之一。;计算机视觉、生物视觉计算建模、计算机图形学和机器学习
Barbara Liskov(2018):For pioneering data abstraction, polymorphism, and support for fault tolerance and distributed computing in the programming languages CLU and Argus.
Bjarne Stroustrup(2018): For bringing object-oriented programming and generic programming to the mainstream with his design and implementation of the C++ programming language.
E. Grady Booch(2016) :For pioneering work in Object Modeling that led to the creation of the Unified Modeling Language (UML).
Michael J. Flynn(2015) :For more than 50 years of leadership, which includes the creation of TCCA and SIGARCH, basic contributions to computer arithmetic, microarchitecture and multiprocessing, and quantitative analysis of microarchitectures.
Peter M. Kogge(2015) :For the pioneering of three areas of computer architecture development of parallel algorithms for recurrence embodied in the Kogge-Stone adder, development of the multi-core microprocessor chip and the formalization of methods for designing the control of a computer pipeline.
Linus Torvalds(2014) :For pioneering development of the Linux kernel using the open-source approach.
Edward Feigenbaum(2013) :For pioneering work in Artificial Intelligence, including development of the basic principles and methods of knowledge-based systems and their practical applications.
Edward J. McCluskey(2008):For seminal contributions to the design and synthesis of digital systems over five decades, including the first algorithm for logic synthesis (the Quine-McCluskey method).
Moshe Y. Vardi:His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge, and theoretical computer science.
Karen Spärck Jones: the concept of inverse document frequency, a technology that underlies most modern search engines. "a pioneer of computer science for work combining statistics and linguistics, and an advocate for women in the field."
Bernard Chazellz:Much of his work is in computational geometry, where he is known for his study of algorithms, such as linear-time triangulation of a simple polygon, as well as major complexity results, such as lower bound techniques based on discrepancy theory. He is also known for his invention of the soft heap data structure and the most asymptotically efficient known algorithm for finding minimum spanning trees.
Pat Hanrahan: His research focuses on rendering algorithms, graphics processing units, as well as scientific illustration and visualization.
[Andries van Dam]http://cs.brown.edu/people/avandam/():the first hypertext system, Hypertext Editing System.He also co-founded the precursor of today's ACM SIGGRAPH conference.
Marc Levoy: He is noted for pioneering work in volume rendering, light fields, and computational photography.
Mark Allen Weiss:Data Structure & Algorithm Analysis in C (Second Edition)本书曾被评为20世纪顶尖的30部计算机著作之一,作者Mark Allen Weiss在数据结构和算法分析方面卓有建树.他的数据结构和算法分析的著作尤其畅销,并受到广泛好评.已被世界500余所大学用作教材.
Benjamin C. Pierce圣经四件套：Software FoundationsTypes and Programming LanguageAdvanced Topics of Types and Programming Language（多人撰写）Basic Category Theory for Computer Scientists
Mark Allen Weiss:Data Structure & Algorithm Analysis in C (Second Edition)本书曾被评为20世纪顶尖的30部计算机著作之一,作者Mark Allen Weiss在数据结构和算法分析方面卓有建树.他的数据结构和算法分析的著作尤其畅销,并受到广泛好评.已被世界500余所大学用作教材.
