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

• Probabilistic combinatorics
• Extremal combinatorics
• Graph theory
• +۴ مورد دیگر

Ross J. Kang is a Canadian mathematician currently serving as an Associate Professor at the Korteweg–de Vries Institute for Mathematics within the Faculty of Science at the University of Amsterdam since 2022. He is an active member of the Discrete Mathematics and Quantum Information group and the NETWORKS consortium. Previously, he held positions as Assistant/Associate Professor at Radboud University Nijmegen (2014-2022), Assistant Professor at Utrecht University (2013), and Researcher at Centrum Wiskunde & Informatica (2012-2013). His academic journey includes postdoctoral positions at Durham University (2010-2012) and McGill University (2008-2010), where he was advised by Bruce Reed and Louigi Addario-Berry. DPhil in Mathematics, University of Oxford (2008) - Thesis: 'Improper colourings of graphs', advised by Colin McDiarmid BSc (Hons) in Mathematics and Computer Science, University of Victoria (2003) - Governor General's Silver Academic Medal recipient Ross J. Kang's research focuses on probabilistic and extremal combinatorics, random discrete structures, graph coloring, geometric graphs, and algorithms. His work bridges theoretical mathematics with practical applications, exploring fundamental questions in discrete mathematics. He has made significant contributions to understanding graph coloring problems, particularly in the contexts of list coloring, distance coloring, and strong coloring. His research often employs probabilistic methods to establish bounds and structural properties in graph theory. Kang's work on the hard-core model, local occupancy method, and triangle-free graphs has advanced our understanding of the interplay between local constraints and global structure in discrete systems. Analysis of his recent publications reveals a strong emphasis on graph coloring problems, particularly list coloring variants and their extensions. His work frequently explores the relationship between graph structure (such as degree constraints, girth, or forbidden subgraphs) and coloring properties. A notable trend is his development and application of the local occupancy method to establish improved bounds for chromatic numbers in various graph classes. His research also demonstrates a consistent interest in extremal problems, seeking optimal configurations under specific constraints, particularly in the context of triangle-free graphs and geometric representations. NWO Open Competition M-1 grant entitled 'Asymptotic triangle-free structure (3Free)', 2022-2026 NWO Vidi grant entitled 'On the edge: theory and techniques at the frontiers of edge-colouring', 2017-2023 NWO Veni grant entitled 'Generalised colouring for random graph models', 2012-2015 Van Gogh travel grants (2020-2021 with Marthe Bonamy; 2016-2017 with Louis Esperet) Governor General's Silver Academic Medal (2003) Ross J. Kang has successfully supervised multiple PhD students including Eoin Hurley (defending May 2025), Stijn Cambie (defended April 2022), and François Pirot (winner of 2020 prix Charles Delorme). His research is supported by significant grants from the Netherlands Organisation for Scientific Research (NWO), including the prestigious Open Competition M-1 grant. Kang is actively involved in the academic community through his editorial role at Combinatorial Theory, co-organization of conferences like the Dutch Days of Combinatorics, and leadership in initiatives such as Innovations in Graph Theory, a diamond open access journal he helped launch in August 2023. As a member of the Discrete Mathematics and Quantum Information group at the University of Amsterdam and the NETWORKS consortium, Kang collaborates with researchers across various institutions. He has established strong international connections through his Van Gogh travel grants and participation in collaborative projects like the Sparse (Graphs) Coalition sessions. His research group focuses on theoretical aspects of discrete mathematics with connections to quantum information science, and he maintains active collaborations with researchers across Europe and North America.

• Probabilistic Machine Learning
• Physics-Informed Machine Learning
• Industrial Applications of Data Science
• +۴ مورد دیگر

Markus Lange-Hegermann serves as Professor of Mathematics and Data Science at Ostwestfalen-Lippe University of Applied Sciences (TH OWL) since 2018 and holds a board position at the Institute for Industrial Information Technology (inIT). His career bridges academic research and industrial applications, with expertise in translating machine learning theory into practical engineering solutions for automation and manufacturing sectors. His educational foundation includes a Diplom (Master equivalent) in Computer Mathematics from RWTH Aachen University (2004-2008) followed by a Dr. rer. nat. (PhD equivalent) in algorithmic differential algebra (2008-2014). Prior to academia, he gained industry experience at FEV GmbH as an R&D engineer (2014-2017) and P3 automotive GmbH as a Data Science Consultant (2017-2018). Lange-Hegermann's research centers on probabilistic machine learning with distinctive emphasis on physics-informed approaches. He develops Gaussian process methodologies that incorporate differential equations to model time dependencies, uncertainties, and physical constraints in industrial systems. His work enables robust data-based modeling and optimization for cyber-physical systems, with applications spanning predictive maintenance, process control, and quality assurance in manufacturing. Analysis of his 15 most recent publications (2024-2025) reveals consistent innovation in physics-integrated machine learning, particularly using Gaussian processes to solve partial differential equations and optimal control problems. The research demonstrates strong industrial applicability across domains including medical imaging, material science, automotive engineering, and brewing processes, with recurring themes of anomaly detection in time-series data and uncertainty-aware decision making. His scientific contributions have earned significant recognition: Forschungspreis TH OWL (2024) Top reviewer award at NeurIPS (2023) Outstanding reviewer award at NeurIPS (2021) Best poster award at Bosch AI CON (2019) Borchers Plakette for outstanding dissertation (2014) Springorum Denkmünze for outstanding diploma (2009) As chairman of the Data Science study program and vice chairman of undergraduate examination boards, Lange-Hegermann actively shapes academic curricula while supervising graduate theses. His governance roles include serving on professorship search committees at multiple institutions and contributing to examination regulations. He maintains active research funding through collaborations with industrial partners and reviews proposals for initiatives like It's OWL and 3IA Côte d’Azur. Lange-Hegermann leads the Mathematics and Data Sciences research group within inIT, fostering collaboration between theoretical machine learning and industrial automation. He co-founded AICOmmunityOWL and the Informatics Europe working group on Data Analysis and Reporting, while organizing machine learning reading groups and data science hackathons to bridge academic research with industrial problem-solving.

Bineet Ghoshمشاهده پروفایل

استادیار

• Artificial Intelligence
• Autonomous Vehicles
• Deep Learning
• +۵ مورد دیگر

Bineet Ghosh is an Assistant Professor in the Department of Computer Science at The University of Alabama's College of Engineering . He leads the Trustworthy Autonomy Lab , focusing on safety verification for autonomous systems with timing uncertainties. His educational background includes a PhD from UNC Chapel Hill (2023), an M.Sc. from Chennai Mathematical Institute, and a B.Sc. (First Class First with Gold Medal) from Ramakrishna Mission Vidyamandira. PhD in Computer Science (UNC Chapel Hill, 2023) M.Sc. in Computer Science (Chennai Mathematical Institute, 2016) B.Sc. (First Class First with Gold Medal) in Computer Science (Ramakrishna Mission Vidyamandira, 2014) His research spans Artificial Intelligence, Autonomous Vehicles, Deep Learning, Embedded Systems, Robotics, and Cyber-Physical Systems , with a focus on statistical verification methods and safety-aware scheduling. Recent publications analyze neural architecture sizing, GPU partitioning, and uncertainty-aware monitoring in autonomous systems. Scientific awards include the Chateaubriand Fellowship (2021), Best Presentation Award at ACM SIGBED (2022), and Best Paper Candidate at RTCSA (2022). He previously worked as a research intern at Tata Research Labs and software developer at Oracle.

Asif Ali Zamanمشاهده پروفایل

دانشیار

• Analytic Number Theory
• Probabilistic Number Theory
• L-functions
• +۷ مورد دیگر

Asif Ali Zaman is an Associate Professor in the Department of Mathematics at the University of Toronto's Faculty of Arts and Science. He specializes in analytic and probabilistic number theory, with applications to algebraic structures and arithmetic statistics. His work intersects prime distribution, zeros of L-functions, Chebotarev density theorem, random multiplicative functions, and binary quadratic forms, extending to elliptic curves, modular forms, and mass equidistribution. PhD in Mathematics (2017), University of Toronto NSERC Postdoctoral Scholar (2017–2019), Stanford University MSc in Mathematics (2012), University of British Columbia BSc in Mathematics (2010), Simon Fraser University His research leverages log-free zero density estimates, Deuring-Heilbronn phenomenon, and Artin's holomorphy conjecture to derive bounds for primes, ℓ-torsion class groups, and equidistribution on modular surfaces. Recent publications (2025–2022) focus on Tauberian theorems, multiplicative chaos, and large sieve inequalities. Grants include sponsored research on L-functions (2022–2027) and computational projects (2025). He supervises Masters and PhD students in number theory and teaches multivariable calculus and cryptology courses.

Federica Sandroneمشاهده پروفایل

مدرس

• Rock Mechanics
• Tunnel Engineering
• Underground Construction
• +۴ مورد دیگر

Federica Sandrone is a Lecturer at the School of Architecture, Civil and Environmental Engineering (ENAC) at École Polytechnique Fédérale de Lausanne (EPFL), where she also serves as a Scientist at the Laboratory of Experimental Rock Mechanics (LEMR) within the Institute of Civil Engineering. Her academic career spans over 15 years with continuous contributions to tunnel engineering and rock mechanics research. Her research focuses on the intersection of rock mechanics and tunnel engineering, with particular expertise in tunnel pathology analysis, TBM performance in challenging geological conditions, and long-term tunnel behavior. Sandrone's work bridges theoretical analysis with practical engineering applications, addressing real-world problems in tunnel infrastructure management and maintenance. Her research methodology combines field investigations, laboratory testing, and numerical modeling to understand complex geomechanical behaviors. Analysis of her recent publications reveals a consistent focus on tunnel inspection methodologies, TBM performance prediction in difficult ground conditions, and the long-term behavior of tunnel structures. Her work has evolved from fundamental tunnel pathology studies to more advanced applications involving GIS integration, probabilistic modeling, and modern inspection techniques including laser scanning and image analysis. Engineer at SBB-Infrastructure (2008-present) responsible for Tunnels Management and Maintenance Assistant for Tunnel Engineering courses (2007-present) PhD supervision including Erika Paltrinieri's 2015 thesis on TBM performance Development of tunnel inspection methodologies and condition assessment procedures Her teaching activities include courses in Rock Mechanics and Underground Construction, where students learn about the mechanical behavior of rock materials, tunnel excavation and support design, planning and management of underground works, and risk assessment in tunnel construction.

• Structural Health Monitoring
• Steel-Concrete Composite Structures
• Physics-Informed Machine Learning
• +۶ مورد دیگر

Dr. Xinqun Zhu is an Associate Professor at the University of Technology Sydney (UTS) in the School of Civil and Environmental Engineering . He has held academic positions at Western Sydney University (2016-2017), University of Western Australia (2005-2009), and University of Manchester (2001-2005). His research spans structural health monitoring, steel-concrete composite structures, physics-informed machine learning, and advanced sensor systems.

Shaun Trueloveمشاهده پروفایل

پژوهشگر

• Infectious Disease Dynamics
• Infectious Disease Epidemiology
• Vaccination
• +۸ مورد دیگر

Shaun Truelove is an Associate Research Professor at Johns Hopkins University , affiliated with the Bloomberg School of Public Health and the Department of International Health . He is also a joint member of the Infectious Disease Dynamics group and the International Vaccine Access Center . Research interests focus on infectious disease dynamics , epidemiology , vaccination strategies , and humanitarian/refugee health . His work spans Measles transmission modeling in Zambia COVID-19 impact assessments Diphtheria epidemiology Mobile phone data applications Supplementary immunization activities Scenario modeling for pandemics . Article trends highlight expertise in infectious disease modeling across multiple pathogens (Measles, MERS-CoV, Influenza), with emphasis on Vaccine effectiveness Human mobility patterns Real-time forecasting Public health policy Global health disparities . Current projects include the flepiMoP modeling pipeline for pandemic response, collaborations with the CDC, and field studies in Zambia/India. Contact: shauntruelove@jhu.edu | trueloves@jhu.edu

Didier Meuwlyمشاهده پروفایل

استاد

• Forensic Science
• Biometrics
• Probabilistic Evaluation
• +۳ مورد دیگر

Didier Meuwly is a Full Professor of Forensic Biometrics at the University of Twente (since 2013) and Principal Scientist at the Netherlands Forensic Institute (NFI). His work focuses on automating and validating probabilistic evaluation of forensic evidence, particularly biometric traces. He has contributed to international standards via ISO Technical Committee 272 and served as Associate Editor for Forensic Science International . PhD in Forensic Speaker Recognition (University of Lausanne, 2000) Research spans forensic biometrics, likelihood ratios, AI validation, and gait/body analysis from surveillance footage. Recent work addresses ISO standards (21043), forensic AI explainability, and multimodal evidence evaluation. His publications emphasize empirical validation and statistical rigor. Key awards include: ENFSI Distinguished Forensic Scientist Award (2022) University of Lausanne Law Faculty Prize (2002) Active in global forensic networks, he chairs the ENFSI R&D Committee and collaborates across disciplines on digital evidence, biometric security, and forensic methodology.

Jian Pengمشاهده پروفایل

دانشیار

• Computational Biology
• Machine Learning
• Deep Learning
• +۷ مورد دیگر

Jian Peng is an Associate Professor and Willett Faculty Fellow at the University of Illinois at Urbana-Champaign with primary appointment in the Department of Computer Science and courtesy appointments in the College of Medicine. He holds affiliate positions at the Institute of Genomic Biology, Cancer Center at Illinois, and National Center for Supercomputing Applications. His research integrates computational biology and machine learning, focusing on functional genomics, cancer genomics, neurodegenerative diseases, deep learning architectures, and reinforcement learning applications in biological domains. His work bridges algorithmic development with real-world biomedical challenges. Analysis of recent publications (2020-2021) reveals strong emphasis on machine learning applications in drug design, protein engineering, and computational biology. Key technical themes include generative modeling for molecular structures, reinforcement learning advancements, causal inference frameworks, and novel computer vision approaches. The work demonstrates consistent interdisciplinary innovation across computational and biological domains. Major Scientific Awards: Donald Biggar Willett Faculty Fellow (2020) Overton Prize - ISCB (2020) Dean's Award for Excellence in Research (2020) C.W. Gear Junior Faculty Award (2019) NSF CAREER Award (2017-2022) Sloan Research Fellowship (2016) He leads significant research initiatives including co-directing the NSF AI Institute's Molecular Maker Lab and an ASAP collaborative grant for Parkinson's disease research. His students have secured faculty positions at leading institutions including Georgia Tech and University of Washington.

Fei Heمشاهده پروفایل

دانشیار

• formal methods
• program analysis
• automated reasoning
• +۲ مورد دیگر

Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.

• Formal Methods
• Verification
• Model Checking
• +۴ مورد دیگر

Nathalie Bertrand is an Inria Researcher and Head of the DEVINE team at Inria Centre Rennes and IRISA lab. She co-heads the working group on Verification of the GDR IFM of the CNRS with Pierre-Alain Reynier, and co-leads the gender equality commission of IRISA and Inria Rennes with Elisa Fromont. She is also an active member of the Inria committee on gender equality and equal opportunity. PhD from ENS Cachan (October 2006) 1-year post-doc at TU Dresden Hired as Inria researcher (October 2007) Habilitation (HDR) from University Rennes 1 (November 2015) Dr. Bertrand's research focuses on formal methods, verification, model checking, parameterized systems, quantitative models, automata, and games. Her work bridges theoretical computer science with practical applications in distributed systems, probabilistic verification, and game theory. She develops efficient model-based formal methods to verify and enforce functional and non-functional properties of dependable distributed systems that include quantitative aspects such as time, cost, or probabilities. Her recent publications demonstrate a strong trend toward parameterized verification of distributed algorithms, probabilistic systems, and game-theoretic approaches to verification problems. Her research has evolved from foundational work on timed automata and probabilistic systems to increasingly complex problems involving distributed algorithms with arbitrary numbers of participants, blockchain consensus, and randomized fault-tolerant systems. Dr. Bertrand serves on the editorial boards of JLAMP and TCS, and has been a program committee member for numerous prestigious conferences including STACS, TACAS, Concur, QEST, LICS, FoSSaCS, ICALP, MFCS, and many others. She has co-chaired program committees for Formats'20, QEST'17, QAPL'14, and QAPL'15. As an advisor, she has supervised numerous PhD students including Nicolas Waldburger, Bastien Thomas, Suman Sadhukhan, Anirban Majumdar, Engel Lefaucheux, Paulin Fournier, and Amélie Stainer. She currently supervises postdoc Gaëtan Staquet and PhD candidates Pranav Ghorpade, Luca Paparazzo, and Luc Lapointe. She leads the DEVINE project-team (created January 2024), which focuses on developing efficient model-based formal methods to verify and enforce properties of dependable distributed systems with quantitative aspects. Previously, she was part of the SUMO team. Her current projects include ANR MAVeriQ (2021-2025), ANR BISouS (2022-2025), and ANR PaVeDyS (2024-2028).

Jürgen Citoمشاهده پروفایل

دانشیار

• Software Engineering
• Explainable AI
• Performance Engineering
• +۳ مورد دیگر

Jürgen Cito is an Associate Professor with tenure at Vienna University of Technology (TU Wien), specializing in software engineering, explainable AI, and performance engineering. He leads research at the IPA Lab (as indicated by his personal website) and maintains a visiting researcher position at Google. His academic journey began with joining TU Wien as an Assistant Professor in Spring 2020, with promotion to Associate Professor announced in April 2024. His research interests span multiple critical areas of modern software development, with particular focus on developer experience, program comprehension, and the intersection of AI with software engineering practices. His work bridges theoretical foundations with practical industrial applications, as evidenced by collaborations with major technology companies. Analysis of his recent publications reveals a strong emphasis on practical tools and methodologies that enhance software quality, performance, and security. His research trajectory shows increasing focus on explainable AI techniques applied to software engineering problems, performance prediction from source code, and automated security testing approaches that leverage large language models. best teaching award for distance learning for Web Engineering (2020) Cito actively contributes to the software engineering community through numerous conference committee roles, including program committee positions at ASE, ICSE, ESEC/FSE, and other major venues. His lab appears to focus on developer tools, program analysis, and AI-assisted software engineering, with connections to both academic and industrial research environments.

Bozidar Stojadinovicمشاهده پروفایل

استاد

• Community Disaster Resilience
• Earthquake Engineering
• Structural Dynamics
• +۴ مورد دیگر

Bozidar Stojadinovic is a Full Professor and Chair of Structural Dynamics and Earthquake Engineering at ETH Zürich's Department of Civil, Environmental and Geomatic Engineering. He leads the Institute of Structural Engineering and previously held professorships at UC Berkeley and the University of Michigan. His research focuses on community disaster resilience, seismic design, and experimental methods like hybrid simulation. Education: PhD in Civil Engineering, UC Berkeley (1995) MS in Civil Engineering, Carnegie-Mellon University (1990) BS in Civil Engineering, University of Belgrade (1988) Research Interests: Performance-based probabilistic resilience evaluation of civil infrastructure. Earthquake engineering, including seismic isolation and response modification techniques. Development of experimental testing methods, such as hybrid simulations for dynamic structural analysis. Awards: ICE Journal John Henry Garrood King Medal (2023) ACI Chester Paul Siess Award (2017) NSF CAREER Award (1999) Teaching & Advising: Teaches courses on seismic design and structural dynamics at ETH. Advised 49 doctoral students to date. His work integrates advanced methodologies to enhance structural resilience against natural hazards. Labs/Teams: Leads ETH's Institute of Structural Engineering, advancing research in seismic protection and infrastructure resilience through experimental and computational innovations.

Jared Duker Lichtmanمشاهده پروفایل

استادیار

• Number Theory
• Analytic Number Theory
• Multiplicative Number Theory
• +۳ مورد دیگر

Jared Duker Lichtman is a Szegö Assistant Professor at Stanford University's Department of Mathematics, beginning in the 2024-25 academic year. Previously, he served as an NSF Postdoctoral Fellow at Stanford under Prof. Kannan Soundararajan. He completed his PhD at the University of Oxford in 2023, focusing on multiplicative number theory. His research centers on prime number distribution, multiplicative structures, and analytic number theory. Notably, he established a world record in studying primes' distribution within arithmetic progressions. His work bridges classical number theory with modern techniques like sieve methods and L-function analysis. Jared's publications explore topics such as the abc conjecture, twin primes, and Erdős problems. While no formal awards are listed, his groundbreaking contributions to prime distribution and multiplicative number theory mark him as a rising star in the field. His academic trajectory includes a focus on primes in arithmetic progressions, Goldbach conjecture extensions, and probabilistic number theory applications. Ongoing research likely continues this trajectory, with potential implications for cryptography and additive number theory.

Aaqib Saeedمشاهده پروفایل

استادیار

• Human-Centric AI
• Federated Learning
• Self-Supervised Learning
• +۳ مورد دیگر

Aaqib Saeed is an Assistant Professor in the Department of Industrial Design at Eindhoven University of Technology. His research focuses on Human-Centric AI, Federated Learning, Self-Supervised Learning, and Audio Understanding, with applications in Personal Health. He holds a PhD (cum laude) from TU/e and an MSc (cum laude) from the University of Twente. Education: PhD in Computer Science (cum laude), TU/e (2021) MSc in Computer Science (cum laude), University of Twente (2018) Research Interests: Development of robust federated learning frameworks for decentralized data Self-supervised learning for audio and physiological signal analysis AI-driven solutions for healthcare monitoring Key Contributions: DeltaMask: Reducing communication overhead in federated fine-tuning FedNS: Mitigating noisy decentralized data in federated learning Labeling Chaos to Learning Harmony: Handling label noise in FL Professional Experience: Visiting Industrial Fellow, University of Cambridge (2023) Research Scientist, Philips Research (2019–2023) Research Internships: Google Research, TNO/EIT Digital Awards: UT Scholarship (MSc) Cum Laude awards for both PhD and MSc Labs/Teams: EAISI Health, EAISI Foundational, Computational Design Systems.