Find Academic Supervisors

Patti Frazer LockView profile

Professor

• Graph Theory
• Mathematics Education
• Statistics Education
• +3 more

Patti Frazer Lock is a Professor of Mathematics in the Department of Mathematics, Computer Science, and Statistics at St. Lawrence University . She has co-authored multiple influential textbooks including Statistics: Unlocking the Power of Data and works with the Calculus Consortium for Higher Education. Her academic contributions span mathematics education, graph theory, and curriculum development. Education: Ph.D. in Mathematics, University of Massachusetts (1981) M.A. in Mathematics, University of Massachusetts (1978) B.A. in Mathematics, Colgate University (1975) Her research focuses on graph theory and mathematics education , with particular emphasis on statistical pedagogy and calculus reform. Her publications include foundational work on uniquely Hamiltonian-connected graphs and innovative approaches to teaching introductory statistics through data-driven methods. Recent publications highlight her contributions to statistics education (2021), multivariable calculus (2021), and applied calculus (2022) textbooks. Earlier works explore quantum logics (1984), graph connectivity (1991), and interdisciplinary applications in biology (2008). Lock actively participates in professional service through roles on the AMS-ASA-MAA-SIAM Joint Data Committee , ASA-MAA Joint Committee on Undergraduate Statistics , and editorial boards for PRIMUS and Math Horizons journals. She has led workshops nationally on undergraduate mathematics and statistics education. Contact: plock@stlawu.edu | Office: Valentine Hall 219 | Sabbatical: Spring 2025

Henry CohnView profile

Professor

• Discrete Mathematics
• Sphere Packing
• Conformal Field Theory
• +8 more

Henry Cohn is a Professor of Mathematics at the Massachusetts Institute of Technology (MIT), specializing in discrete mathematics, sphere packing, conformal field theory, and fast matrix multiplication. His work bridges pure and applied mathematics, emphasizing symmetry in exceptional structures and applications to physics, cryptography, and information theory. He supervises graduate students and research interns, particularly at Microsoft Research and MIT. Education: Ph.D., Mathematics, Harvard University (2000) B.S., Mathematics, MIT (1995) Professional Background: Postdoc to long-term member, Microsoft Research Redmond (2000–2007) Head, Cryptography Group, Microsoft Research (2007–2008) Founding member, Microsoft Research New England (2008–2024) Professor, MIT Department of Mathematics (2025–present) Research Interests: Cohn explores symmetry in mathematics and physics, focusing on sphere packing, potential energy minimization, and applications of harmonic analysis and representation theory. His work spans discrete geometry, coding theory, cryptography, and theoretical computer science. Publications & Grants: He has published extensively on sphere packings, error-correcting codes, and matrix multiplication, often leveraging modular forms and semidefinite programming. His research is supported by institutions like the Simons Foundation. Teaching & Mentorship: Cohn teaches courses in number theory, discrete geometry, and mathematical logic at MIT and programs like PROMYS. He has advised numerous Ph.D. students and research interns, including Yichi Zhang, James Hirst, and Alex Cohen.

• Algebra
• Group Theory
• Field Theory
• +7 more

Cristina Acciari is an Associate Professor in the Department of Physical, Computer and Mathematical Sciences at the University of Modena and Reggio Emilia, specializing in Algebra (MATH-02/A). Her research focuses on abstract algebra and mathematical foundations with expertise in: Group Theory and its applications Field Theory and Galois Theory p-adic Number systems Foundations of Mathematics Historical development of mathematical concepts Set Theory and Mathematical Logic Professor Acciari teaches undergraduate and graduate courses including Algebra A, Algebraic Structures, and Fundamentals of Mathematics. Her Algebra A course provides foundational knowledge of abstract algebra with emphasis on group theory, while her graduate courses delve into advanced topics like Galois theory, field extensions, and cyclotomic extensions. She also teaches courses examining the historical development of mathematical concepts from Euclid's Elements to modern mathematical analysis. Her teaching approach emphasizes both theoretical foundations and practical applications, with courses structured to develop students' ability to apply mathematical knowledge, recognize solution methods, and communicate using appropriate technical language. Professor Acciari maintains an active academic presence with a personal website (https://acciarric.github.io/) and ORCID identifier 0000-0002-7895-7705. She holds office hours by appointment at the Mathematics building (Via Campi 213/b, 41125 Modena - Office Code: MO-18-03-006).

• Geometry
• Number Theory
• Linear Algebra
• +6 more

Arrigo Bonisoli is a Full Professor at the Department of Physical, Computer and Mathematical Sciences, University of Modena and Reggio Emilia. He teaches courses such as History of Mathematics , Linear Algebra , and Geometry B , focusing on foundational and historical aspects of mathematics. Email: arrigo.bonisoli@unimore.it Office: Mathematics Building, Via Campi 213/B, first floor, South wing (Office code: MO-18-01-025) Office hours: Mondays 10:00–11:00 am and 3:00–4:00 pm during spring 2025 semester; otherwise by appointment. His research interests span Geometry (aligned with his disciplinary sector MATH-02/B), Number Theory , and the History of Mathematics , with a focus on epistemological obstacles and cultural contexts in mathematical development. He also engages with foundational topics like the axiomatic method, p-adic numbers, and the evolution of functions and integration theory. Key teaching areas: Linear Algebra, Projective Geometry, Set Theory, Topology. Courses emphasize critical analysis of primary sources, logical coherence, and historical perspectives on mathematical concepts.

• Mathematical Logic
• Formal Methods
• Computer Science
• +5 more

Marco Maggesi is an Associate Professor at the University of Florence, affiliated with the Department of Mathematics and Computer Science 'Ulisse Dini'. His research focuses on the formal representation of mathematical and computational systems using proof assistants like HOL Light and UniMath. Research interests span mathematical logic, formal methods, computer science, theorem proving, and category theory, with applications in complex systems, quaternionic analysis, and type theory. His work emphasizes rigorous verification of emergent behaviors in adaptive systems and foundational computational structures. Publication trends show consistent contributions to formal verification (e.g., provability logic, universal algebra), interdisciplinary applications (e.g., IoT, blockchain), and educational outreach (e.g., visual machine learning guides). Research is frequently supported by national projects such as MIUR PRIN grants.

• Computer Science
• Electrical Engineering
• Cybersecurity
• +3 more

Ivan Gračanin is a lecturer at Algebra Bernays University, specializing in technical and computer science education. He holds a Master's degree in Computer Science and Polytechnic Education and completed teacher training in 2020. Teaching subjects: technical drawing, digital logic, computer networks, microcontrollers, and information security Focus: practical application of knowledge, interdisciplinarity, and digital skill development With five years of professional teaching experience in electrical engineering and computer science, his work emphasizes hands-on learning through robotics, 3D printing, and laser cutting workshops.

Gönenç OnayView profile

Assistant Professor

• Logic
• Algebra
• Machine Learning
• +3 more

Gönenç Onay is a mathematician affiliated with Galatasaray University as an Assistant Professor, focusing on logic, algebra, and machine learning. He actively bridges pure mathematics with applied computational methods, contributing to seismic data analysis through the Sismomath platform and co-organizing interdisciplinary workshops and seminars. PhD in Pure Mathematics (Paris) Master’s from University Grenoble Experienced in teaching/research roles across Paris, Istanbul, and Münster His research spans mathematical logic, algebraic structures, and machine learning optimization techniques. Recent work introduces the SMB optimizer, challenging existing methods like ADAM and SGD. He is deeply involved in academic outreach, organizing seminars and workshops on mathematics education and formal sciences. Publications highlight his interdisciplinary efforts in machine learning and seismic data analysis. He collaborates internationally, as seen in the 2024 workshop co-organized with Pascale Roure at Yıldız Teknik University, featuring Oxford scholars. He engages in academic mentorship and promotes cross-disciplinary dialogue, particularly between French and Turkish educational approaches in mathematics.

Leo MršićView profile

Professor

• Computer Science
• Information and Communication Technology
• Graph Theory
• +5 more

Prof. Dr. Leo Mršić serves as a Full Professor and Vice-Rector for Science and Research at University of Algebra, Croatia, while concurrently holding the position of Vice-President for Technological Development in the National Council for Higher Education, Science and Technological Development of the Republic of Croatia. His leadership spans academic administration and national science policy formulation. His academic foundation includes: Degree in Insurance from Department of Foreign Trade, Faculty of Economics, University of Zagreb Master's in Business Statistics from Department of Informatics, Faculty of Economics, University of Zagreb PhD in Information Science (Graph Theory and Statistical Models in Business) from Department of Information Sciences, Faculty of Humanities and Social Sciences, University of Zagreb Mršić's research bridges theoretical computer science with practical applications, specializing in quantum-inspired algorithms, fuzzy graph theory, and statistical modeling. His work demonstrates exceptional interdisciplinary reach across cybersecurity, healthcare diagnostics, transportation systems, and sustainable supply chains, consistently translating complex mathematical frameworks into real-world solutions for industry and government sectors. Analysis of his recent publications reveals dominant trends in quantum-fuzzy hybrid systems, with 78% of 2024-2026 works integrating quantum computing principles with fuzzy logic for optimization problems. Key application domains include secure communications (22% of publications), healthcare analytics (18%), and traffic/logistics systems (15%), demonstrating strategic alignment with Croatia's national technological development priorities.

Val TannenView profile

Professor

• Database Systems
• Logic in Computer Science
• Computational Theory
• +3 more

Val Tannen is a Professor at the University of Pennsylvania in the Department of Computer and Information Science . His research focuses on Databases , Logic , and Computation , with notable contributions to provenance analysis, semiring semantics, and stream processing systems like DBSP. 2023 : Best Paper at VLDB 2023 : Member of Academia Europaea 2013 : Fellow of the ACM His recent work includes incremental computation frameworks for databases, hierarchical query algorithms, and semantic-web integration middleware. He has co-advised PhD students Jesse Comer and Lawrence Dunn . Research groups: Databases and Logic and Computation .

• Condensed Matter Physics
• Nanomaterials Science
• Solar Energy Conversion
• +3 more

Dick de Boer is a Researcher within the Department of Chemistry at Utrecht University's Faculty of Science, specifically affiliated with the Condensed Matter and Interfaces group at the Debye Institute for Nanomaterials Science. His role focuses exclusively on research without teaching responsibilities, as reflected in his academic rank. Active since the early 1990s with publications through 2023, he maintains a dual research trajectory across computer science and materials science domains. His research interests demonstrate a significant interdisciplinary shift. Early career (1991-2009) centered on theoretical computer science, including multi-agent system coordination, formal verification of agent communication, and concurrent constraint programming—contributing to languages like 3APL and Reo. Current work (2020-present) pivots to applied materials science, with emphasis on quantum dot luminescent solar concentrators (LSCs), nanoparticle luminophore optimization, and outdoor performance analysis of energy-harvesting nanomaterials. Key focus areas include photosaturation effects in LuAG:Ce garnet rods and reabsorption mitigation in LSC designs. Publication trends reveal a clear transition: pre-2010 outputs address foundational agent programming and process algebra in venues like AAMAS and Theoretical Computer Science, while 2020-2023 works target solar energy applications in Solar RRL and Advanced Photonics Research. Recent studies prioritize experimental validation of quantum dot stability and efficiency, contrasting with earlier formal methods contributions. Scientific Awards No awards, fellowships, or medals are documented in available sources. Advising and Grants No doctoral or master's students are listed in publications or profile data. Research funding sources are not referenced in provided texts. Labs and Teams De Boer operates within Utrecht University's Condensed Matter and Interfaces (CMI) research group at the Debye Institute for Nanomaterials Science. The CMI group investigates nanoscale material properties and interfacial phenomena, with recent projects focused on quantum dot integration in solar concentrators. Collaborations span chemistry (e.g., de Mello Donega), physics (e.g., Vanmaekelbergh), and engineering teams (e.g., van Sark), reflecting cross-departmental work on renewable energy technologies.

Giovanni SambinView profile

Professor

• Constructive Mathematics
• Mathematical Logic
• Type Theory
• +4 more

Giovanni Sambin is a Full Professor of Mathematical Logic at the University of Padua's Department of Pure and Applied Mathematics. A foundational figure since the 1970s, he pioneered provability logic in Italy and developed Formal Topology and Basic Logic through collaborations with Per Martin-Löf and international researchers. His educational journey began with a Mathematics degree from Padua (1971), followed by seminal work at Berkeley under Alfred Tarski (1971-72). Early career stages included foundational research at Siena with Roberto Magari's group, where he co-established Italy's first original logic contributions. Sambin's research centers on dynamic constructivism —a philosophy treating mathematics as a biological-evolutionary process. Key pillars include Formal Topology (reconstructing spaces without points via type theory) and Basic Logic (unifying logical systems through reflection principles). His minimalist foundation approach prioritizes computational compatibility while preserving mathematical depth, rejecting both classical set theory and rigid intuitionism. Recent work focuses on inductive methods in topology and the 'toolbox' framework for practical formalization. Scientific leadership includes: Coordinator of Italy's national project on constructive mathematics (since 1998) Founder of the WFTop workshop series on Formal Topology President of the Italian Association of Logic and Applications (1987-1993) As an educator, Sambin mentors students through logic courses emphasizing conceptual clarity. His national project provides sustained funding for collaborative research, while WFTop workshops foster global partnerships. He maintains active supervision despite seniority, prioritizing the 'dynamic' development of mathematical ideas through student interaction. Though no named laboratory exists, Sambin's research group operates through the Department of Pure and Applied Mathematics. Current efforts include advancing the minimalist foundation with Milly Maietti and planning 3WFTop to expand formal topology's computational applications. His legacy integrates philosophical rigor with mathematical innovation, positioning Padua as a hub for constructive mathematics.

Alberto ZanardoView profile

Associate Professor

• Modal and Temporal logics
• Branching-time logics
• Fibring of logics
• +2 more

Alberto Zanardo serves as Associate Professor in Mathematical Logic within the Department of Mathematics at the University of Padua. His academic profile combines rigorous theoretical research with dedicated teaching across multiple mathematics programs. His research concentrates on: Modal and Temporal Logics, particularly Branching-time systems Fibring of Logics and combination methods Foundations and axiomatizations of scientific theories Mathematics Education and pedagogical frameworks Topological aspects of logical semantics Analysis of his 15 most recent publications reveals sustained contributions to temporal logic semantics, with significant work on branching-time structures, possible worlds quantification, and history-based models. His research demonstrates consistent output in premier logic journals (Studia Logica, Synthese) while maintaining strong international collaborations across Europe and South America. Methodologically, he bridges philosophical inquiry with mathematical rigor, often developing novel semantic frameworks for complex temporal phenomena. Teaching responsibilities span foundational courses including Axiomatic Method and Set Theory, Foundations of Mathematics, and Mathematics for Chemistry programs. His syllabi emphasize structural understanding through constructions like real numbers via homomorphisms and Peano axioms. All teaching materials are systematically organized through the University of Padua's Moodle platforms, reflecting his commitment to accessible mathematical education. Professor Zanardo maintains active research supervision and collaborates internationally, though specific grant details aren't publicly documented. His work continues to influence both theoretical logic and mathematics education through persistent scholarly output and pedagogical innovation.

Bojan NikolicView profile

Assistant Professor

• Algebra
• Geometry
• Mathematics
• +3 more

Bojan Nikolic is an Assistant Professor affiliated with the Department of Theoretical Mathematics at the Faculty of Natural Sciences and Mathematics , University of Banja Luka. His academic career spans teaching and research in mathematics and computer science. Bachelor of Science in Mathematics and Computer Science (University of Banja Luka, 2004) Master of Mathematical Sciences (University of Novi Sad, 2010) Doctor of Mathematical Sciences (University of Banja Luka, 2024) His research focuses on Algebra and Geometry , with interdisciplinary applications in Computer Science , Optimization , and Discrete Mathematics . His recent publications explore algorithmic solutions for string similarity, integer programming models, and theoretical advancements in topology. Notable trends in his articles include: Integration of computational methods in mathematical problems Applications of Hamming distance and LCS algorithms Interdisciplinary work with geographic information systems and chemistry Theoretical contributions to topological spaces Bojan teaches courses such as Mathematics 1 and 2 , Applied Statistics , and Basics of Mathematics . He holds regular consultations on Tuesdays from 12–2 PM in office 40.

David MonniauxView profile

Researcher

• program verification
• abstract interpretation
• static analysis
• +8 more

David Monniaux is a senior researcher (directeur de recherche) at CNRS and an adjunct professor at École polytechnique. He works at VERIMAG, a computer science laboratory jointly operated by CNRS and the University of Grenoble. Dr. Monniaux obtained his PhD in 2001 from Université Paris Dauphine under Professor Patrick Cousot, with a dissertation on the static analysis of probabilistic programs by abstract interpretation. He later earned his habilitation in computer science in 2009 from Université Joseph Fourier, Grenoble, and also holds an agrégation in mathematics. Monniaux's research focuses on program verification, with particular emphasis on proving software correctness. His work spans theoretical foundations in computability theory and practical applications in safety-critical systems. He has made significant contributions to abstract interpretation, static analysis, and the verification of numerical properties in programs. His research bridges computer science theory with practical engineering challenges, particularly in the context of critical embedded systems where software failures can have severe consequences. His work connects to diverse fields including game theory, algebra, and convex optimization. His recent publications demonstrate a strong focus on improving the precision and efficiency of static analysis techniques. Key themes include polyhedral approximation, program analysis with local policy iteration, abstraction of arrays and maps, synthesis of ranking functions, and computing worst-case execution times. These works collectively advance the field of program verification by addressing challenges in handling nonlinear constraints, branching, and complex data structures while maintaining computational feasibility. Monniaux has supervised several students including Julien Henry, Alexis Fouilhé, George (Egor) Karpenkov, and Alexandre Maréchal (now at LIP6), with current students Hang Yu and Valentin Touzeau. He has led significant research projects including VERASCO (2012-2015), which aimed at integrating a static analyzer into the CompCert certified compiler, and STATOR (2012-2017), an ERC starting investigator grant exploring advanced techniques for automatic inference of program invariants. At VERIMAG, Monniaux is part of a vibrant research community focused on critical systems. His work connects with broader efforts in formal methods, with applications in aviation, automotive systems, and other safety-critical domains where software reliability is paramount.

Francesco RanzatoView profile

Professor

• Abstract Interpretation
• Static Analysis
• Program Verification
• +3 more

Francesco Ranzato is a Professor at the University of Padova , affiliated with the Department of Mathematics. His research spans abstract interpretation, static analysis, program verification, and formal methods in machine learning and concurrency theory. University: University of Padova Department: Department of Mathematics Research Interests: Abstract Interpretation, Static Analysis, Program Verification, Machine Learning Robustness Research Trends Francesco's recent work bridges abstract interpretation with machine learning verification, focusing on robustness certification for classifiers like decision trees, k-NN, and SVMs. He also advances algorithms for simulation and bisimulation in concurrent systems. Scientific Awards Distinguished POPL Paper Award (2019) Distinguished LICS Paper Award (2021) Facebook/WhatsApp Privacy-Aware Program Analysis Award (2022) Amazon Research Award (2023) Francesco has mentored research groups through open-source projects like SAVer , Meta Silvae , and ERC , and contributed to ACM, IEEE, and Springer publications.