Title: Formally Verified Numerical Methods Andrew W. Appel, Professor of Computer Science, Princeton; Visiting Professor, Cornell Abstract: Formal machine-checked program verification uses mechanized... Read more
Title: Optimization of the Boltzmann Equation Abstract: The kinetics of rarefied gases and plasmas are described by the Boltzmann equation and numerically approximated by the Direct Simulation Monte... Read more
Title: How do organisms adapt to variable and unpredictable environments? Abstract: Most organisms are adapted to live in variable environments, and two main modes of adaptation have been identified... Read more
Title: TBD Abstract: TBD Bio: Éva Tardos received her Dipl.Math. in 1981 , and her Ph.D. 1984, from Eötvös University, Budapest, Hungary. She joined Cornell in 1989, and was Chair of the Department of... Read more
Title: TBD Abstract: TBD Bio: Moon Duchin’s research focuses on discrete geometry and randomized models, with applications to the study of voting and democracy. She is a member of the faculty at the... Read more
Title: TBD Abstract: TBD Bio: Nils Deppe is an Assistant Professor of Physics at Cornell University. His group studies extreme matter and gravity by solving Einstein's equations of general relativity... Read more
Title: Mathematics of malaria transmission dynamics: the renewed quest for eradication Abstract: Malaria, a deadly disease caused by protozoan Plasmodium parasites, is spread between humans via the... Read more
Title: TBD Abstract: TBD Bio: Dr. Fengyan Li received her BS and MS degrees in Computational Mathematics from Peking University in 1997 and 2000, respectively, and her PhD degree in Applied... Read more
Title: TBD Abstract: TBD Bio: Nisha Chandramoorthy is an assistant professor in the School of Computational Science and Engineering at Georgia Tech. Her research involves mathematical analyses and... Read more
