جست‌وجوی استاد و پژوهشگر

Pierre Castéranمشاهده پروفایل

استاد

• Formal Methods
• Theorem Proving
• Type Theory
• +۶ مورد دیگر

Pierre Castéran is a Professor at the University of Bordeaux, affiliated with the LaBRI (Laboratoire Bordelais de Recherche en Informatique). He is a co-author of Coq'Art , the first book on the Coq Proof Assistant, and has contributed extensively to its development through tutorials, technical papers, and research projects. His work includes exploring Hydra Battles and ordinal notations in Coq, as well as foundational contributions to type classes, inductive definitions, and epsilon operators. ACM Software System Award (2013) for Coq development His research interests span formal verification, mathematical logic, proof assistants, and the intersection of computer science with discrete mathematics. He has led projects like A3PAT (Assisting Proof Assistants) to enhance automation in formal methods. His technical work includes defining recursive path orderings, denumerable sets, and axiomatic presentations of ordinals. Collaborations include Yves Bertot ( Coq'Art ), Evelyne Contéjean (rpo termination proofs), and Matthieu Sozeau (type classes). He has created educational materials for Coq, including tutorials for Type Classes and inductive types, with examples updated across Coq versions.

• Machine Learning
• Deep Learning
• Robustness in Neural Networks
• +۲ مورد دیگر

Dr. Grigorios Chrysos is a faculty member in the Department of Electrical & Computer Engineering at the University of Wisconsin-Madison. His research focuses on reliable machine learning, emphasizing robustness to noise, out-of-distribution generalization, and theoretical understanding of neural/polynomial networks. Education: PhD in Machine Learning, Imperial College London (2020) M.Eng. in Electrical Engineering, National Technical University of Athens (2014) Key research interests include robustness in deep networks , inductive bias analysis , and polynomial network design for high-order input interactions. His work explores adversarial robustness, fair model generalization, and extrapolation properties in generative frameworks. Recent awards include the prestigious DAAD AInet Fellowship (2023), Best Reviewer Awards at NeurIPS (2022), ICLR (2022), and IMCL (2021), alongside Amazon Cloud Credits and Nvidia GPU donations (2019). Scientific Contributions: Advancing tensor methods in machine learning Developing polynomial networks for robustness Designing efficient EEG seizure analysis algorithms

• RF Engineering
• Microwave Engineering
• Electromagnetic Design
• +۴ مورد دیگر

Professor Frank Gustrau serves as Dean of the Department of Information Technology, demonstrating leadership in both academic administration and electrical engineering education. His career spans multiple decades with consistent contributions to RF and microwave engineering education. Professor Gustrau's research interests focus on RF and Microwave Engineering , High-Frequency Technology , Electromagnetic Design , and Electromagnetic Compatibility . His work bridges theoretical field theory with practical applications in wireless communications, medical technology, and circuit design. The progression of his publications from foundational German texts to international English editions demonstrates growing global impact in the field. His publication record shows remarkable consistency and evolution, with the forthcoming 4th edition of RF and Microwave Engineering (2025) building on previous works dating back to 2006. These publications represent comprehensive educational resources that have shaped RF engineering curriculum internationally, including a Chinese translation (2015) that expanded their global reach. As an educator, Professor Gustrau teaches across multiple programs: Theoretical Electrical Engineering (TET1/TET2) - Master's level core course EM Design (EMD) - Bachelor's level elective High-frequency technology and EM Simulation (HFE) - Master's level elective covering both theoretical and practical simulation aspects Physics courses for Biomedical and Information Technology programs Professor Gustrau maintains an open-door policy for thesis supervision, actively encouraging students to seek him out during office hours for bachelor's and master's projects in the Department of Information Technology. His teaching approach emphasizes connecting theoretical concepts with practical implementation through simulation tools and real-world applications.

Irene Yangمشاهده پروفایل

مدرس

• Mathematics Education
• Educational Technology
• Teaching and Learning
• +۳ مورد دیگر

Irene Yang is a Lecturer in Engineering Mathematics at Swinburne University of Technology, Sarawak's Faculty of Engineering, Computing and Science. Holding dual degrees from the University of Science Malaysia (BScEd Mathematics and MSc Teaching of Mathematics), she brings extensive expertise in technological innovation for STEM education. Education: Master of Science (Teaching of Mathematics), University of Science Malaysia Bachelor of Science in Education (Mathematics), University of Science Malaysia Her research pioneers screencast video applications in engineering mathematics education, examining how student-produced content transforms learning engagement. Current investigations focus on blended learning frameworks where learners create explanatory videos for complex optimization problems, turning abstract concepts into tangible digital artifacts that enhance peer-to-peer knowledge construction. Publication trends reveal consistent focus on technology-mediated pedagogy since 2014, with recent work analyzing perception data from video-based interventions. Her scholarship bridges educational theory and classroom practice, emphasizing measurable learning outcomes through innovative assessment methods in mathematics education. Awards and Recognition: Highly Commended, Swinburne Teaching Excellence Award (2020) Best Paper Award, Taylor's Teaching Conference (2016) Dual Shortlistings, Wharton-QS Reimagine Education Awards (2015) Malaysian Mathematical Science Society membership Funded by Swinburne Sarawak Research Grants, her projects involve collaborative classroom research with engineering students as co-investigators. She mentors future educators through hands-on technology integration projects, maintaining active supervision of undergraduate research while developing scalable video pedagogy models for STEM disciplines. Her international conference presentations demonstrate commitment to global educational advancement. Though not leading a formal laboratory, she cultivates dynamic classroom research environments where teaching innovations become publishable scholarly contributions. Her approach transforms traditional mathematics instruction into interactive digital experiences, positioning students as knowledge creators within engineering education ecosystems.

• Control Theory
• Dynamical Systems
• Partial Differential Equations
• +۲ مورد دیگر

Professor Alisa DeStefano serves as Associate Professor in the Department of Mathematics and Computer Science at College of the Holy Cross. Her academic career spans over three decades, including prior appointments as Assistant Professor at Holy Cross (1992-1999), Visiting Professor at Boston University (1994-1995), and Lecturer at Dartmouth College (1989-1992). Her educational background includes: Ph.D. in Mathematics, Dartmouth College (1992) A.M. in Mathematics, Dartmouth College (1989) B.S. in Mathematics (summa cum laude), Northeastern University (1987) DeStefano's research centers on Control Theory, specializing in Universal and Discrete Observability of Dynamical Systems. Her work rigorously examines state estimation for wave and heat equations on bounded domains and compact homogeneous spaces, while bridging connections to topological dynamics and abstract harmonic analysis. This interdisciplinary approach integrates techniques from partial differential equations, global analysis, and mathematical physics to solve fundamental problems in system observability. Her publication trajectory (1990-2001) reveals consistent contributions to observability theory, evolving from discrete wave equation analysis to sophisticated constructions of universally observable torus flows and topological dynamics equivalences. Key venues include SIAM journals, IEEE conferences, and Birkhäuser's Progress in Systems and Control Theory series. Notable recognitions include: Summer Faculty Fellowship (awarded 1994, 1997, 1998) Association for Women in Mathematics Travel Grant (1993, 1998) NSF ILI-IG Grant (1993) She maintains active professional engagement through the Mathematical Association of America, American Mathematical Society, and Association for Women in Mathematics. Her teaching portfolio spans Real and Abstract Analysis, Fourier Analysis, differential equations, and chaos theory, reflecting her dual expertise in pure and applied mathematics. While specific current grant details aren't provided in the source material, her historical funding record demonstrates sustained research productivity in mathematical control theory.

Kim Jongeriusمشاهده پروفایل

استاد

• Algebraic Geometry
• Commutative Ring Theory
• Mathematics and Literature
• +۲ مورد دیگر

Dr. Kim Jongerius serves as Professor of Mathematics and Department Chair at Northwestern College in Orange City, Iowa, where she approaches mathematics as both an art and language to foster effective communication. Her interdisciplinary background bridges mathematical rigor with humanities perspectives, earning her the 2005 Northwestern Teaching Excellence Award for creating supportive, laughter-filled classrooms that bring out students' best. Her academic credentials include: Ph.D. in Mathematics from Colorado State University M.S. in Mathematics from Colorado State University B.S. from Northern Arizona University with double majors in Mathematics and English, plus a German minor Research spans algebraic geometry and commutative ring theory, evolving into interdisciplinary explorations of mathematics through literary and theological lenses. She investigates how concepts like infinity and dimension intersect with philosophical frameworks, particularly through Christian perspectives, while maintaining core interests in mathematical communication and pedagogy. Publication trends reveal a trajectory from foundational algebraic geometry research (1990s) toward humanistic mathematics and education-focused scholarship (2020s). Recent works emphasize mathematical minds' development and interdisciplinary connections, while her 2011 book chapters for Mathematics Through the Eyes of Faith demonstrate enduring integration of faith and mathematical concepts. Professional recognition includes: Teaching Excellence Award, Northwestern College (2005) As Associate Editor for the Dolciani Exposition Series in Mathematics since 2000 and former ACMS president (2011-2013), she actively shapes mathematical discourse. Her mentorship extends beyond academics through personal engagement like hosting student dinners, reflecting her commitment to holistic student development within Northwestern's community-oriented environment.

Stefanie Rachمشاهده پروفایل

استاد

• Teaching and learning processes in introductory mathematics studies
• Entry requirements for mathematics degree programs
• Mathematical interest and self-concept in learning
• +۹ مورد دیگر

Professor Stefanie Rach is a Professor of Mathematics Didactics at Otto-von-Guericke University Magdeburg, Faculty of Mathematics, Institute for Algebra and Geometry (IAG). She has held this position since 2018, following her appointment as Junior Professor for Didactics of Mathematics at University of Paderborn (2016-2018). Her academic journey began with teacher training in mathematics and physics at Christian-Albrechts-University of Kiel, where she completed her doctoral dissertation in 2014. Professor Rach's research focuses on teaching and learning processes in the introductory phase of mathematics studies, particularly in teacher education programs. Her work examines the transition from school to university mathematics, mathematical interest and self-concept, entry requirements for mathematics degrees, and the role of representational forms in learning. She leads several significant research projects including Ex2MoMa (modeling with experiments), situational interest in university mathematics (funded by DFG), mathematical knowledge at study entry, and proof comprehension. Her recent publications demonstrate a consistent focus on student motivation, learning processes, and transition challenges in mathematics education. The research shows increasing emphasis on situational interest, modeling with experiments, and the psychological aspects of learning mathematics at the university level. Her work bridges theoretical educational research with practical applications in mathematics instruction. Notable research contributions: Development of instruments measuring mathematical self-concept and interest Analysis of factors influencing student success in university mathematics Investigation of proof comprehension and validation processes Examination of modeling with experiments in mathematics education Research on student dropout from mathematics programs Professor Rach actively supervises bachelor's and master's theses in mathematics education and teaches courses on mathematics didactics. She serves as vice-member of the Transition Commission of DMV-GDM-MNU and is involved in the Center for Teacher Education and Faculty Council at OvGU Magdeburg. Her research is supported by funding from Deutsche Forschungsgemeinschaft and Deutsche Telekom Foundation.

Chevaleyre Yannمشاهده پروفایل

استاد

• Artificial Intelligence
• Multi-Agent Systems
• Computational Social Choice
• +۳ مورد دیگر

Chevaleyre Yann is a Professor of Computer Science at LAMSADE, Paris-Dauphine PSL University, where he has been working since 2017. Previously, he served as Professor of Computer Science at Paris-Nord University from 2009 to 2017 and as Director of the "data science" team at the LIPN laboratory. His academic journey includes a Lecturer position at LAMSADE, Paris-Dauphine University from 2002 to 2009, a Habilitation thesis at Paris-Dauphine University in 2009, and a Doctorate at Pierre and Marie Curie University under the supervision of Jean-Daniel Zucker from 1998 to 2001. Professor Chevaleyre's research spans multiple areas within artificial intelligence and computer science, with particular expertise in multi-agent systems, computational social choice, and machine learning. His work on preference modeling, voting theory, and resource allocation has significantly contributed to the field of computational social choice. More recently, his research has expanded into adversarial machine learning, robust classification, and generative models, reflecting the evolving landscape of AI research. His publication record demonstrates consistent contributions across multiple domains, with recent work focusing on precision-recall optimization in generative models, the role of randomization in adversarial robustness, and novel approaches to graphical bilinear bandits. His research shows a clear trajectory from foundational work in multi-agent systems toward more contemporary challenges in machine learning security and evaluation. Professor Chevaleyre has maintained active collaborations with researchers across France and internationally, evidenced by his extensive co-authorship network. His work bridges theoretical computer science with practical applications in areas ranging from robotics to bioinformatics.

• Acoustic Engineering
• Psychoacoustics
• Environmental Acoustics
• +۹ مورد دیگر

Professor Antonio Torija Martinez is a leading academic in Acoustic Engineering and Psychoacoustics at the University of Salford's School of Science, Engineering & Environment. He serves as a key researcher at the Acoustics Innovation Institute and leads multiple high-impact projects focused on noise issues related to e-mobility and decarbonization. His international collaborations include work with NASA, Virginia Tech, TU Delft, University of Bristol, and University of Cambridge. Professor Torija Martinez obtained his PhD in Environmental Acoustics from the University of Granada (Spain) in 2010 and was awarded a prestigious Marie Curie EU Postdoctoral Fellowship in 2012. His academic journey has positioned him as an internationally recognized expert in bridging engineering with noise perception. His research program centers on developing Perception-Driven Engineering tools to address noise challenges in emerging transportation technologies. His work on drone noise has been featured by the University as an example of 'Emerging Areas of Global Leadership and Excellence (EAGLEs).' He believes in putting users at the center of engineering decisions to ensure responsible innovation. His interdisciplinary approach combines acoustic engineering, psychoacoustics, and environmental considerations to create solutions that balance technological advancement with community acceptance. Analysis of his recent publications reveals a strong focus on unmanned aircraft systems noise, with particular attention to human perception, measurement methodologies, and noise reduction techniques. His work spans laboratory studies, field measurements, and theoretical modeling, creating a comprehensive approach to understanding and mitigating noise impacts from emerging transportation technologies. John Connell Award Andres Lara Award from the Spanish Society of Acoustics Research Impact Fund Award 2025 Marie Curie EU Postdoctoral Fellowship Recognition as world's most relevant author on drone noise Professor Torija Martinez has secured over £12 million in research grants since joining Salford in 2019, with projects funded by UKRI, Horizon Europe, EPSRC, and industry partners. He supervises PhD students and contributes approximately £190k in enterprise income through contracts with the UK Government and industry. His 13 active projects include Noise Network Plus, The Leverhulme Trust Aural Diversity Doctoral Research Hub, and EPSRC Centre for Doctoral Training in Sustainable Sound Futures. As leader of the Acoustics Research Centre, Professor Torija Martinez oversees a dynamic team working at the intersection of acoustic engineering and human perception. His role as UK representative in international standard-setting groups and member of NASA's UAM Noise Working group positions his team at the forefront of developing methodologies for assessing and mitigating noise from emerging aerial transportation systems.

• Control of Partial Differential Equations
• Quantum Control
• Geometric Control Theory
• +۲ مورد دیگر

Eugenio Pozzoli is a CNRS permanent researcher (chargé de recherche) since 2023, jointly affiliated with the Rennes Institute of Mathematical Research (IRMAR) at the University of Rennes and the École Normale Supérieure de Rennes (ENS Rennes). His research bridges advanced mathematics and quantum physics, focusing on control theory for partial differential equations and quantum mechanical systems with applications in quantum computing and molecular dynamics. Education: PhD in Mathematics, Sorbonne University and INRIA team CAGE (2021), supervised by Ugo Boscain and Mario Sigalotti Research Focus: Professor Pozzoli's work centers on small-time controllability problems using geometric control theory and sub-Riemannian geometry . His investigations span quantum control of molecular systems (rotors, chiral molecules), bilinear Schrödinger equations , and nonlinear PDE control (heat, wave equations). Recent breakthroughs include enhancing controllability via static fields and solving enantiomer-selective state transfer in degenerate quantum systems, demonstrating exceptional mathematical rigor with experimental relevance. Publication Trends: Analysis of his 15 most recent publications (2024-2025) reveals a dominant focus on quantum control applications (60% of articles), particularly for molecular rotation and chirality, combined with fundamental advances in geometric control theory (30%) and PDE controllability (10%). His work consistently addresses the critical challenge of achieving control in minimal time frames, with increasing emphasis on experimentally feasible strategies for quantum technologies. Grants and Leadership: Principal Investigator of ANR JCJC project QUEST (Quantum and ensemble control in small times) Co-organizer of 'Applications of Mathematics' research seminars at ENS Rennes Lab Environment: As part of IRMAR's mathematics research ecosystem, Professor Pozzoli leads a dynamic group focused on geometric control methods. The QUEST project provides substantial resources for computational modeling and theoretical development, with active recruitment for postdoctoral researchers. His lab emphasizes interdisciplinary collaboration between mathematicians and quantum physicists, maintaining strong ties with Sorbonne University and INRIA while fostering international partnerships through co-authored publications in leading physics and mathematics journals.