WILLIAM D. KALIES CURRICULUM VITAE FEBRUARY 2018

Transcription

1 WILLIAM D. KALIES CURRICULUM VITAE FEBRUARY 2018 Professor Phone: (561) Department of Mathematical Sciences FAX: (561) Florida Atlantic University Boca Raton, FL URL: EDUCATION August 1994 May 1992 June 1989 Ph.D. in Mathematics, Cornell University, Ithaca, NY. Dissertation: Regularized Models of Phase Transformation in One-Dimensional Nonlinear Elasticity. Dissertation Advisor: Philip Holmes. Minor in Theoretical and Applied Mechanics. M.S. in Mathematics, Cornell University, Ithaca, NY. B.S. in Mathematics, The Ohio State University, Columbus, OH. PROFESSIONAL EXPERIENCE 1998-present Fall 2016 Spring 2015 Fall 2006 Spring 2006 Fall 2005 Professor (asst., assoc., full), Department of Mathematical Sciences, Florida Atlantic University, Boca Raton, FL. Visiting Researcher, Mathematical Biosciences Institute, The Ohio State University, Columbus, OH. Visiting Researcher, Department of Mathematics, College of William and Mary, Williamsburg, VA. General Member, Program on Computational Applications of Algebraic Topology, Mathematical Sciences Research Institute, Berkeley, CA. Visiting Researcher, Department of Mathematics, Vrije Univ., Amsterdam, NL. Visiting Researcher, Center for Dynamical Systems and Nonlinear Studies, Lecturer, Department of Mathematics, Cal. Poly. State Univ., San Luis Obispo, CA Postdoctoral Fellow, Center for Dynamical Systems and Nonlinear Studies, Graduate Research Assistant, Department of Mathematics, Cornell University National Science Foundation Graduate Fellow, Dept. of Mathematics, Cornell Univ Teaching Assistant, Department of Mathematics, The Ohio State University. RESEARCH SUPPORT AND FELLOWSHIPS National Science Foundation Grant (DMS , $252,246), Computing Dynamics of Multiparameter Systems U.S. Department of Energy Grant (DE-FG02-05ER25713, $284,003), Multiscale Analysis of Nonlinear Systems using Computational Homology National Science Foundation Grant (DMS , $161,220), Topological Methods for the Study of Nonlinear Infinite Dimensional Systems National Science Foundation Grant (DMS , $33,400), Numerical Analysis of Qualitative Dynamics in Flows National Science Foundation Research Opportunity Award ($7,000) National Science Foundation Graduate Fellowship.

2 SCHOLARLY ACTIVITY 2 REFEREED WORKS JOURNAL PUBLICATIONS 1. An algorithmic approach to lattices and order in dynamics (with D. Kasti and R. VanderVorst), To appear in SIAM Journal on Applied Dynamical Systems, Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds (with S. Kepley and J.D. Mireles-James), SIAM Journal on Applied Dynamical Systems 17, pp , On the dynamics of second-order Lagrangian systems (with R. Adams and R. VanderVorst), Electronic Journal of Differential Equations, Vol. 2017, No. 101, pp. 1-20, Chaos near a resonant inclination-flip (with M. Fontaine and V. Naudot), Physica D: Nonlinear Phenomena 334, pp , Lattice structures for attractors II (with K. Mischaikow and R. VanderVorst), Foundations of Computational Mathematics 16, pp , Efficient computation of Lyapunov functions for Morse decompositions (with A. Goullet, S. Harker, D. Kasti, and K. Mischaikow), Discrete and Continuous Dynamical Systems 20, pp , Lattice structures for attractors I (with K. Mischaikow and R. VanderVorst), Journal of Computational Dynamics 1, pp , Rigorous computation of the global dynamics of integrodifference equations with smooth nonlinearities (with S. Day). SIAM Journal on Numerical Analysis 51, pp , A reinjected cuspidal horseshoe (with M. Fontaine, and V. Naudot). Discrete and Continuous Dynamical Systems - special issue, pp , Verified homology computations for nodal domains (with S. Day, and T. Wanner). Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal 7, pp , A database schema for the analysis of global dynamics of multiparameter systems (with Z. Arai, H. Kokubu, K. Mischaikow, H. Oka, and P. Pilarczyk). SIAM Journal on Applied Dynamical Systems 8, pp , Three-dimensional analysis of solid oxide fuel cell Ni-YSZ anode interconnectivity (with J. Wilson, M. Gameiro, K. Mischaikow, P. Voorhees, and S. Barnett). Microscopy and Microanalysis 15, pp , Closed characteristics on singular energy levels of second-order Lagrangian systems (with M. Wess), Journal of Differential Equations 244, pp , Probabilistic and numerical validation of homology computations for nodal domains (with S. Day, K. Mischaikow, and T. Wanner), Electronic Research Announcements of the American Mathematical Society 13, pp , Topological horseshoes of traveling waves for a fast-slow predator-prey system (with M. Gameiro, T. Gedeon, H. Kokubu, K. Mischaikow, and H. Oka), Journal of Dynamics and Differential Equations 19, pp , Polygonal approximation of flows (with E. Boczko and K. Mischaikow), Topology and Its Applications 154, pp , 2007.

3 17. A computational approach to Conley s decomposition theorem (with H. Ban), Journal of Computational and Nonlinear Dynamics 1(4), pp , On the detection of simple points in higher dimensions using cubical homology (with M. Niethammer, K. Mischaikow, and A. Tannenbaum), IEEE Transactions on Image Processing 15(8), pp , An algorithmic approach to chain recurrence (with K. Mischaikow and R. VanderVorst), Foundations of Computational Mathematics 5, pp , Topological characterization of spatial-temporal chaos (with M. Gameiro and K. Mischakow), Physical Review E 70, Article (Rapid communication), Closed characteristics of second-order Lagrangians (with R. VanderVorst), Proc. Roy. Soc. Edinburgh Sect. A 134, pp , Analysis of blood vessel topology via cubical homology (with M. Niethammer, A. Stein, P. Pilarczyk, K. Mischaikow, and A. Tannenbaum), Proceedings of International Conference on Image Processing 2002, vol. 2, pp Slow motion in higher-order systems and Γ-convergence in one space dimension (with R. VanderVorst and T. Wanner), Nonlinear Analysis: Theory, Methods, and Applications 44, pp , Homotopy classes for stable periodic and chaotic patterns in fourth-order Hamiltonian systems (with J. Kwapisz, J.B. VandenBerg, and R. VanderVorst), Communications in Mathematical Physics 214, pp , Cubical approximation and computation of homology (with K. Mischaikow and G. Watson), Banach Center Publications 47, pp , Homotopy classes for stable connections between Hamiltonian saddle-focus equilibria (with J. Kwapisz and R. VanderVorst), Communications in Mathematical Physics 193, pp , On the asymptotic behavior of a phase-field model for elastic phase transitions, Journal of Dynamics and Differential Equations 9, pp , Multitransition heteroclinic and homoclinic solutions of the extended Fisher-Kolmogorov equation (with R. VanderVorst), Journal of Differential Equations 131, pp , On a dynamical model of phase transformation in nonlinear elasticity (with P. Holmes), Fields Institute Communications volume 5 on Pattern Formation: Symmetry Methods and Applications, pp , OTHER PUBLICATIONS 1. Computational Conley Theory (with R. VanderVorst), Nieuw Archief voor Wiskunde. Vijfde Serie, 17, pp , RECENT INVITED LECTURES AND PAPERS PRESENTED AT CONFERENCES 2017 Minitutorial talk: Lattice Structures for Dynamics, SIAM Conference on Applications of Dynamical Systems, Snowbird, UT Invited talk: Set-Based Computations for Global Dynamics, Math Biosciences Institute, Columbus, OH. 3

4 2016 Invited talk: Set-Based Methods for Global Dynamics, 11th AIMS Conf. on Dyn. Sys., Diff. Eq., and App., Orlando, FL Invited talk: Lattice Structures in Dynamics, George Mason University Invited talk: Lattice Structures of Attractors, Workshop on Combinatorial and Topological Frameworks for Multiparameter Nonlinear Dynamics, Leiden, The Netherlands Invited talk: Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearity, IV Developer s Workshop on the Conley-Morse Database, Kauai, HI Invited talk: Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearity, IMA Summer School on Topological Methods in Complex Systems, Philadelphia, PA Invited talk: Computing Global Dynamics of Multiparameter Systems, Workshop on Bifurcation Analysis and Applications, Montreal, Canada Invited talk: Computing Global Dynamics of Multiparameter Systems, Algebra and Topology: Methods, Computation, and Science, Münster, Germany Special session talk: Computing Global Dynamics of Multiparameter Systems, 2010 AMS Spring Eastern Sectional Meeting of the AMS, Newark, NJ Invited Lecturer: 5 lectures on Computational Conley Theory, Summer School on Topology, Computation, and Dynamics, Munich, Germany Invited talk: Computational Conley Theory, IMA New Directions Short Course on Applied Algebraic Topology, Minneapolis, MN Invited talk: Homology of Nodal Domains, IMA New Directions Short Course on Applied Algebraic Topology, Minneapolis, MN Minisymposium talk: Multivalued Maps from Time Series, SIAM Conference on Applications of Dynamical Systems, Snowbird, UT Contributed talk: Databases for the global dynamics of multiparameter systems, Air Force Complex Networks Conference, Arlington, VA Contributed talk: Multivalued maps for time series, Workshop on Computational Topology and Dynamics, MSU, Bozeman, MT Minisymposium talk: Building databases for global dynamics of multiparameter systems, Foundations of Computational Mathematics 08, Hong Kong Invited talk: Computing global decompositions of dynamical systems, Workshop on Topological and Computational Approaches to Dynamical Systems and Applications, Ryukoku University, Kyoto, Japan Colloquium talk: Building a database of global dynamics for multiparameter systems, Vrije Universiteit, Amsterdam, the Netherlands Invited talk: Computational dynamics from a topological point of view, CSUMS lecture at College of William and Mary, Williamsburg, VA Minisymposium talk: Computing global decompositions of dynamical systems SIAM Conference on Applications of Dynamical Systems, Snowbird, UT Invited talk: Computational Conley theory, Workshop on Applications of Topology in Science and Engineering, MSRI, Berkeley, CA Plenary talk: A computational approach to Conley s decomposition theorem, Conference on Dynamics, Topology, and Computation, Bedlewo, Poland 2006 Invited talk: Computing recurrence in dynamics, Nowy Sacz, Poland 4

5 5 PROFESSIONAL ACTIVITIES Ph.D. students advised: Hyunju Ban Ph.D. awarded 12/2006 Computing Global Decompositions of Dynamical Systems Mark Wess Ph.D. awarded 12/2008 Computing Topological Dynamics from Time Series Ronald Adams Ph.D. awarded 8/2014 Curve Shortening in Second-Order Lagrangian Systems Marcus Fontaine Ph.D. awarded 5/2016 Nonlinear Phenomena from a Reinjected Horseshoe (co-supervisor with Vincent Naudot) Dinesh Kasti Ph.D. awarded 8/2016 An Algorithmic Approach to the Lattice Structures of Attractors and Lyapunuv Functions Journal referee: Journal of Differential Equations Journal of Mathematical Analysis and Applications Journal of Nonlinear Science Mathematical and Computer Modelling Nonlinear Analysis: Theory, Methods, and Applications Physica D SIAM Journal on Applied Dynamical Systems SIAM Review Journal of Fixed Point Theory and Applications International Symposium on Mathematical Theory of Networks and Systems Other referee/review: National Science Foundation Applied Numerical Methods panelist. Reviewer for the Portuguese Foundation for Science and Technology. Reviewer for VENI grant from the Netherlands Organisation for Scientific Research. Reviewer for VIDI grant from the Netherlands Organisation for Scientific Research. National Science Foundation Applied Dynamical Systems reviewer. Workshop and Conference Organizer: 2016 Special Session co-organizer: Dynamics and Computation, 11th AIMS Conference on Sectional Dynamical Systems, Differential Equations, and Applications, Orlando, FL Special Session co-organizer: Dynamical Systems, 2009 Fall Southeastern Sectional Meeting of the American Mathematical Society, Boca Raton, FL Workshop co-organizer: Computational Topology and Dynamics Workshop, Montana State University, Bozeman, MT Minisymposium co-organizer: Computational topology and dynamics, 6th International Congress on Industrial and Applied Mathematics in Zurich, Switzerland Workshop co-organizer: Computational Homology and Fluid Dynamics Workshop 2006 Workshop co-organizer: Computational Homology and Materials Science Workshop Memberships in professional societies: American Mathematical Society Society for Industrial and Applied Mathematics

6 UNIVERSITY SERVICE University level: 2016-present Data Science Platform committee member University Honors Council member Core Curriculum Subcommittee on Mathematics and Quantitative Reasoning Representative to the Boca Senate Faculty Representative to Capital Improvements Trust Fund Committee Representative to the University Faculty Senate from the CES College of Science Mathematics faculty search committee for the FAU Honors College. College level: 2012 & 2014 CESCoS Non-Tenure-Track Promotion committee CESCoS Grievance committee CESCoS Promotion and Tenure committee CESCoS Graduate Programs committee. Departmental level: Mathematics Hiring Committee Chair present Mathematics Honors Chair Master Teacher for Mathematics Graduate Director for Mathematics Graduate Programs committee (chair ) & 2014 Executive committee for Department of Mathematical Sciences & 2013 Engineering-Mathematics Liaison committee Undergraduate Programs committee chair Research and Grants committee Department Honors coordinator Faculty search committee for the Department of Mathematical Sciences Undergraduate advisor for Mathematics majors Calculus committee chair Faculty search committee for the Department of Mathematical Sciences Applied Mathematics Program Planning committee Representative of the Department of Mathematical Sciences to the Southeast Florida Engineering Education Consortium Undergraduate Engineering Mathematics committee. Courses Taught at FAU Graduate: General Topology 1, Computational Mathematics, Algebraic Topology, Linear Algebra, Multivariable Analysis, Numerical Analysis, Ordinary Differential Equations, Differential Topology, Topological Methods in Nonlinear Analysis, Introductory Analysis 1 & 2, Topics in Differential Equations, Directed Independent Study, and Ph.D. Research. Undergraduate: Introduction to Computational Math, Engineering Mathematics 1, Engineering Mathematics 2, Numerical Analysis, Numerical Methods, Calculus 1, 2, & 3 (including honors section), Modern Analysis, Discrete Mathematics, Matrix Theory, Methods of Calculus, Math for Liberal Arts 1, and Directed Independent Study. 6