جستجوی استاد راهنمای دانشگاهی

Alexandra M. Schmidtمشاهده پروفایل

استاد

• Biostatistics
• Bayesian Inference
• Spatial Statistics
• +۳ مورد دیگر

Professor Alexandra M. Schmidt is a leading academic in Biostatistics at McGill University, holding an endowed University Chair. She specializes in spatial and spatio-temporal modeling, particularly in epidemiology and environmental health. Previously, she served as a Full Professor at the Federal University of Rio de Janeiro (2012–2016). Her research focuses on Bayesian methodologies for analyzing complex processes, including disease spread, environmental hazards, and socio-economic disparities. She has authored influential books such as Spatio-Temporal Methods in Environmental Epidemiology with R (2023) and contributed to over 150 peer-reviewed articles. Key awards include the ISBA Fellowship (2024), ASA Fellowship (2020), and the Abdel El-Shaarawi Award (2008). Education: PhD in Statistics (2001, University of Sheffield, UK), MSc and BSc in Statistics (Federal University of Rio de Janeiro, Brazil). Research interests span Bayesian inference, spatial statistics, and environmental epidemiology. She has advised numerous PhD/MSc students and collaborated on projects linking statistical methods to public health challenges, such as modeling dengue outbreaks and air pollution impacts. Active in academic service, she has chaired major conferences (e.g., 2022 ISBA World Meeting) and serves on editorial boards of top journals like Bayesian Analysis and Canadian Journal of Statistics . Teaching includes advanced courses on generalized linear models, spatial epidemiology, and Bayesian analysis. Her work bridges theoretical statistics with practical applications, addressing global health issues through innovative spatio-temporal modeling techniques.

Monika Henzingerمشاهده پروفایل

استاد

• Algorithms
• Data Structures
• Dynamic Algorithms
• +۳ مورد دیگر

Monika Henzinger is Professor at the Institute of Science and Technology Austria (ISTA), heading the research group of Theory and Applications of Algorithms. She also serves as Vice President for Technology Transfer at ISTA since 2024. Previously, she held professorships at the University of Vienna (2009-2023) and EPFL, Switzerland (2005-2009), was Director of Research at Google (1999-2005), and served as Assistant Professor at Cornell University. Professor Henzinger's research centers on efficient algorithms and data structures with three main thrusts. First, she investigates dynamic settings where program inputs are repeatedly updated, seeking solutions faster than restarting computations. Second, she develops privacy-preserving algorithms that add minimal noise to protect input data while maintaining efficiency. Third, she translates theoretically optimal algorithms into practical implementations for dynamically changing inputs. Her work consistently addresses resource conservation in data processing, particularly computing time and memory space, while exploring the theoretical limits of possible savings. Henzinger's recent publications (2024-2025) reveal strong trends in dynamic algorithms, differential privacy, and graph theory. Her research consistently bridges theoretical computer science with practical applications, focusing on algorithms that adapt to changing inputs while preserving computational efficiency and data privacy. She has made significant contributions to problems like dynamic matching, minimum cut computation, and privacy-preserving data analysis across various domains. Professor Henzinger has received numerous prestigious awards and honors: Wittgenstein Award (2021) Two ERC Advanced Grants (2014, 2021) Carus Medal of the German Academy of Sciences Leopoldina (2019) SIGIR Test of Time Award Fellow of the Association of Computing Machinery (2016) Member of the Austrian Academy of Sciences (2017) CAREER Development Award of the National Science Foundation Best paper Award at the Symposium on Discrete Algorithms (2024) Professor Henzinger currently advises PhD students Bardiya Aryanfard, Antoine El-Hayek, and Roodabeh Safavi Hemami, along with postdocs Anamay Chaturvedi and Niklas Hahn. Her research is supported by multiple significant grants including an ERC Advanced Grant for 'Design and Evaluation of Modern, Fully Dynamic Data Structures,' the FWF Wittgenstein Prize, and the WEAVE Project on 'Static and dynamic hierarchical graph decompositions.' She also serves as Principal Investigator for the FWF project 'Fast algorithms for a reactive network layer,' providing substantial funding for her innovative work in algorithms and data structures. Professor Henzinger leads the Theory and Applications of Algorithms research group at ISTA, which focuses on developing practical algorithms for dynamic environments. Her team investigates resource conservation in data processing, specializing in dynamic algorithms that efficiently handle changing inputs, privacy-preserving algorithms that minimize noise while protecting data, and translating theoretical algorithms into practical implementations. The group maintains a strong presence in theoretical computer science through regular publications in top conferences and journals, and collaborates extensively with institutions worldwide to advance algorithmic research.

Karsten Borgwardtمشاهده پروفایل

استاد

• Machine Learning
• Systems Biology
• Bioinformatics
• +۳ مورد دیگر

Karsten Borgwardt is a Professor and Director of the Department of Machine Learning and Systems Biology at the Max Planck Institute of Biochemistry. He holds a PhD in Computer Science (2007) from LMU Munich and has held academic positions at ETH Zürich, Universität Tübingen, and the Max Planck Institutes in Tübingen. His research focuses on machine learning applications in biology and medicine, including biomarker discovery, personalized medicine, and systems biology. Education: PhD in Computer Science (2007), LMU Munich M.Sc. in Biology (2003), University of Oxford Diplom (M.Sc. equivalent) in Computer Science (2004), LMU Munich Research Interests: Development of machine learning algorithms for large biomedical datasets Pattern recognition in genomic and clinical data Applications in sepsis biomarkers, antimicrobial resistance prediction, and personalized medicine Grants & Projects: Scientific Coordinator of Marie Curie Networks (2013-2022) Swiss National Science Foundation Starting Grant (2014) Personalized Swiss Sepsis Study (CHF 5.3M, 2018) Awards: Krupp Award (2013), Golden Owl Teaching Award (2017), multiple 'Top 40 under 40' recognitions (2014-2016). Labs: Leads the Machine Learning and Systems Biology Department at MPI, collaborating with 22+ labs in sepsis research and international networks.

Marc Stammingerمشاهده پروفایل

استاد

• Computer Graphics
• 3D Reconstruction
• Neural Rendering
• +۷ مورد دیگر

Prof. Marc Stamminger is a Professor of Visual Computing at FAU since 2002, leading the Chair of Computer Science 9 (Computer Graphics). His work focuses on algorithms for synthesizing and analyzing images through 3D modeling, LiDAR/Radar capture, and light simulation. He co-leads FAU Solar, applying 3D modeling for environmental lighting analysis under varying conditions. Stamminger has published over 250 papers, winning prestigious awards like the Siggraph Test-of-Time Award. He holds executive roles in Eurographics and is Vice Dean of FAU's Technical Faculty. Research interests span neural rendering , 3D reconstruction , radar imaging , and medical visualization . Recent work emphasizes radiance field rendering (e.g., VR-Splatting, INPC) and radar-based human motion tracking. His lab's FAU Solar project integrates large-scale 3D models with environmental lighting simulations. Publications trends highlight neural rendering optimizations , radar-MIMO systems , and agricultural digital twins . Key collaborations involve medical imaging (e.g., vocal fold reconstruction) and autonomous driving data generation. Awards: Siggraph Test-of-Time (2023?), 2× Siggraph Best-Of-Show Grants/Teams: FAU Solar Lab, Eurographics leadership, FAU Vice Dean Labs: Chair of Computer Science 9, FAU Solar Initiative

Benjamin Machtaمشاهده پروفایل

استادیار

• Biophysics
• Condensed Matter Physics
• Statistical Physics
• +۳ مورد دیگر

Benjamin Machta is an Assistant Professor of Physics at Yale University, affiliated with the Department of Physics and the QBio Institute. He holds a BS from Brown University and a PhD from Cornell University, followed by a postdoctoral fellowship at Princeton University. His research focuses on applying theoretical physics to understand biological systems, particularly leveraging statistical physics and information theory to study biological membranes near critical points and the energetic constraints of biological signaling. Education: BS in Physics (Brown University), PhD in Physics (Cornell University), Postdoc at Princeton University (Lewis-Sigler Theory Fellow). Research Interests include: membrane criticality, phase transitions in biological systems, information-theoretic limits in organism function, and energy dissipation in biological processes. His work often bridges theoretical models with experimental data, such as collaborations with Sarah Veatch’s lab on membrane phase behavior. Publications highlight themes like membrane criticality, protein phase separation, and energy constraints in signaling. His group’s current projects explore cochlear mechanics, thermodynamic control in biological systems, and the role of criticality in sensory systems. Awards: 2019 Simons Investigator Award. Lab Affiliations: QBio Institute and Department of Physics at Yale, located in YSB-C164. Group members include postdocs Isabella Graf and Michael Abbott, and graduate students Asheesh Momi, Mason Rouches, and others.

Sanjit A. Seshiaمشاهده پروفایل

استاد

• Formal Methods
• Cyber-Physical Systems
• Computer Security
• +۱۰ مورد دیگر

Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.

Supratik Chakrabortyمشاهده پروفایل

استاد

• Formal Methods
• Formal Verification
• Automated Synthesis
• +۷ مورد دیگر

Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.

• Medical Imaging
• Computed Tomography
• Inverse Problems
• +۳ مورد دیگر

Dr. Owen Dillon is a Research Fellow in the Discipline of Medical Imaging Sciences at the University of Sydney's Faculty of Medicine and Health. He holds affiliations with the ACRF Image X Institute and the Dodd-Walls Centre for Photonic and Quantum Technologies. His work focuses on advanced imaging techniques for medical applications, particularly computed tomography (CT) and motion compensation in radiation therapy. He completed his PhD in Mathematics at the University of Auckland, specializing in probabilistic compression algorithms for inverse problems. Education: B.Sc. Physics & Applied Mathematics (2013, University of Auckland), First Class Honours in Mathematics (2015), PhD Mathematics (2018). Research interests include inverse problems, Bayesian statistics, CT image reconstruction, and real-time imaging systems. Current projects involve optimizing CT acquisition geometries, motion-compensated 4D imaging, and anatomical motion estimation. His contributions have led to clinical trials reducing radiation dose and scan times. He advises two PhD students and collaborates on grants like the Quantum CT project. Grants: 'Quantum CT for Cancer Diagnosis' (2024), 'Functional Imaging in Lung Cancer' (2024). His work bridges mathematical theory with clinical applications in oncology and interventional radiology.

Qingguo Liمشاهده پروفایل

استاد

• Biomechanical system design
• Energy harvesting
• Wearable sensors
• +۴ مورد دیگر

Qingguo Li is a Professor and Associate Head at the Department of Mechanical and Materials Engineering , Queen's University , and a member of the Ingenuity Labs Research Institute . He specializes in biomechanical system design, energy harvesting, wearable sensors, gait analysis, and load carriage systems. His research integrates robotics, biomedical engineering, and sensor technology to develop human-centric devices and mobility aids. Current Roles : Professor, Associate Head, Queen's University Research Institute : Ingenuity Labs Research Institute Lab : Bio-Mechatronics and Robotics Laboratory His work focuses on biomechanical energy harvesting , IMU-based motion analysis , and assistive device development . Key applications include stroke rehabilitation, gait monitoring, and wearable power generation systems. Articles span cable-driven robots , smart walkers , and 3D printing mechanisms , emphasizing human-robot interaction and dynamic modeling . The lab explores sensor calibration , adaptive control algorithms , and human movement optimization . Areas of impact include rehabilitation engineering , load carriage stability , wearable sensor accuracy , and assistive robotics . His team develops solutions for gait asymmetry detection , post-stroke mobility , and low-cost energy systems , leveraging machine learning and kinetic modeling .

Leslie Ann Goldbergمشاهده پروفایل

استاد

• Algorithms
• Complexity Theory
• Randomised Algorithms
• +۵ مورد دیگر

Leslie Ann Goldberg is a Senior Research Fellow at St Edmund Hall and Professor of Computer Science at the University of Oxford. She currently serves as Head of the Department of Computer Science (on sabbatical 2025-26) and focuses on foundational problems in Algorithms and Complexity Theory , particularly randomised algorithms for network communication, machine learning, and statistical physics models. Her research includes solving Aldous' 1987 conjecture on backoff protocol instability (with John Lapinskas), developing rigorous mathematical analysis frameworks for algorithmic efficiency, and advancing approximate counting techniques via Markov Chain Monte Carlo methods (with Andreas Galanis and collaborators). Key projects involve graph homomorphisms , Moran process dynamics , and #BIS complexity class analysis. Recent publications (2023-2024) span topics like Sybil defense mechanisms, low-temperature sampling on random graphs, and parameterised subgraph counting modulo 2. Her work demonstrates cross-disciplinary impact in computational biology, statistical physics, and database theory. Scientific Awards include Best Paper Prizes at ICALP 2016, ICALP 2010, and IPEC 2017. She supervises PhD student Paulina Smolarova and collaborates extensively with researchers in Oxford and beyond.

• Perceptual information processing
• Computer Vision
• Artificial Intelligence
• +۳ مورد دیگر

Hiroshi Ishikawa is a Professor in the Department of Computer Science and Engineering at Waseda University's Faculty of Science and Engineering. He also serves as a Visiting Professor at the National Institute of Informatics since 2016. Previously, he held positions at Nagoya City University from 2004-2010 as Assistant Professor, Associate Professor, and Professor. His academic journey includes being a JST PRESTO Researcher from 2009-2013 and an Associate Research Scientist at New York University's Courant Institute of Mathematical Sciences from 2000-2001. Ph.D. in Computer Science, New York University (2000) Master of Science, Kyoto University Bachelor's degree in Mathematics, Kyoto University Faculty of Science (1991) Hiroshi Ishikawa's research spans perceptual information processing, computer vision, artificial intelligence, deep learning, and discrete optimization. His work focuses on developing algorithms for image restoration, segmentation, and understanding, with significant contributions to energy minimization techniques in computer vision. He has pioneered approaches in sketch simplification, medical image segmentation, and higher-order graph cuts. His research bridges theoretical advances in mathematical optimization with practical applications in medical imaging, computer graphics, and consumer electronics. Ishikawa's recent publications demonstrate a strong focus on leveraging deep learning for image enhancement and understanding. His work spans super-resolution techniques, colorization methods, human avatar generation, and medical image analysis. A notable trend is the increasing integration of attention mechanisms and generative models to solve complex vision problems, with growing emphasis on real-world applications in medical imaging and computer graphics. His research group consistently produces high-impact work that appears in top-tier computer vision conferences. 75th Annual IEICE Best Paper Award (2019) Innovative Technologies 2016 Special Prize for Culture (Ministry of Economy, Trade and Industry) MIRU Nagao Award (Best Paper Award) (2009) Young Author Award (IEEE Computer Society Japan Chapter, 2006) MIRU2006 Excellent Paper Award (2006) Harold Grad Memorial Prize (Courant Institute of Mathematical Sciences, NYU, 2000) As a professor at Waseda University, Ishikawa has mentored numerous students who have become active researchers in computer vision, including Yuya Masuda, Edgar Simo-Serra, and Satoshi Iizuka. His research has been supported by various grants, including JST PRESTO funding from 2009-2013. He has served on editorial boards for prestigious journals including IEEE Transactions on Pattern Analysis and Machine Intelligence and has held leadership roles in major computer vision conferences such as ICCV, CVPR, and ACCV. Ishikawa leads a vibrant research group at Waseda University focused on computer vision and image processing. His laboratory collaborates extensively with researchers at Nagoya City University, National Institute of Informatics, and international institutions. The group maintains strong connections with industry partners, particularly in medical imaging and consumer electronics sectors, translating theoretical advances into practical applications.

Stefan Helmreichمشاهده پروفایل

استاد

• Anthropology of Science
• Oceanography
• Sound Studies
• +۳ مورد دیگر

Stefan Helmreich is the Elting E. Morison Professor of Anthropology at MIT, where his research examines how scientists conceptualize fundamental phenomena—especially waves—across oceanography, biology, acoustics, and computing. His interdisciplinary work bridges anthropology, science studies, and media theory. Core research themes include: Cultural and scientific constructions of ocean waves Marine microbial ecologies and alien oceans Sound studies and transduction theories Multispecies ethnography Scientific visualization practices Helmreich's publications demonstrate consistent engagement with wave phenomena as both physical forces and cultural symbols, exploring how scientific representations of waves shape environmental understanding. His award-winning books trace connections between marine science, cosmology, and media technologies. He has received numerous prestigious awards including a Guggenheim Fellowship and multiple book prizes from anthropological associations. Helmreich maintains creative collaborations through projects like 'Wave Count'—a musical exploration of wave representations across genres.

Jelle Hellingsمشاهده پروفایل

استادیار

• Resilient Systems
• High-Performance Data Management
• Database Theory
• +۱۰ مورد دیگر

Jelle Hellings is an Assistant Professor in the Department of Computing and Software at McMaster University , Canada. His research focuses on high-performance large-scale data management systems with a strong theoretical and algorithmic component, including resilient systems (blockchains) , graph databases , and external-memory algorithms . He previously worked as a Postdoc Scholar at the University of California, Davis and earned his PhD from Hasselt University in Belgium. Education: Doctor of Sciences in Computer Science (2018), Hasselt University Master of Science in Computer Science and Engineering (2011), Eindhoven University of Technology His research interests include scalable resilient systems with Byzantine fault tolerance, database theory, graph query languages, constraints on graph data, and external-memory algorithms for large graph datasets. He has authored numerous high-impact publications on blockchain-based resilient systems, query optimization in graph databases, and theoretical advancements in relation algebra expressiveness. Hellings actively contributes to academic service through program committee memberships and tutorial organization, and he currently teaches courses on future resilient databases and foundational computer science topics.

• Bayesian Statistics
• Computational Statistics
• Change Point Detection
• +۵ مورد دیگر

Professor Paul Fearnhead is a leading academic in Statistics at Lancaster University 's School of Mathematical Sciences . His research focuses on Bayesian and Computational Statistics , with applications in Anomaly Detection , Continuous-time Markov Processes , and Changepoint Analysis . Department: Mathematics and Statistics Academic Rank: Professor Email: p.fearnhead@lancaster.ac.uk His work bridges theoretical statistics and computational efficiency, notably through pruning techniques for change detection and novel Monte Carlo methods. Current projects include AI Hub initiatives, probabilistic AI foundations, and real-time anomaly detection in streaming data. Research outputs span Bayesian Analysis , Time Series Modeling , and Scalable Statistical Algorithms , with applications in fields like astronomy and epidemiology. Recent publications emphasize simulation-based composite likelihoods and efficient distributed changepoint detection. Scientific contributions include leadership roles in the STOR-i Centre for Doctoral Training and Data Science Institute (DSI) projects such as CoSInES and Statscale. He supervises PhD students including Dylan Bahia, Yuntang Fan, and Ziyang Yang.

S. Yaser Samadiمشاهده پروفایل

دانشیار

• Multivariate Time Series Analysis
• High Dimensional Statistical Inference
• Tensor Data Analysis
• +۵ مورد دیگر

S. Yaser Samadi is an Associate Professor in the Department of Mathematics at the School of Mathematical and Statistical Sciences, Southern Illinois University Carbondale. He holds a Ph.D. in Statistics from the University of Georgia (2014) and maintains an active research program in advanced statistical methodologies. Education: Ph.D. in Statistics, University of Georgia, 2014 Research Interests: Dr. Samadi specializes in multivariate time series analysis, high-dimensional statistical inference, and tensor data analysis. His work addresses critical challenges in big data, symbolic data, and dimension reduction for time series through Bayesian analysis and sequential methods for dependent and independent data, yielding robust models for complex data structures. Publication Trends: His recent publications (2014-2023) emphasize time series analysis, dimension reduction, and innovative approaches for interval-valued and matrix-valued data. Key contributions include envelope models for vector autoregression, copula-based count data modeling, and sequential analysis techniques, bridging theoretical statistics with econometrics and data science applications. Scientific Awards: Outstanding Teacher of the Year, School of Mathematical and Statistical Sciences (2021) Advising: Dr. Samadi has mentored four Ph.D. students to completion: Rukayya Ibrahim (Assistant Professor, Penn State Harrisburg), Wiranthe Herath (Assistant Professor, Drake University), Tharindu De Alwis (Postdoctoral Fellow, WPI), and Hadi Safari Katesari (Teaching Assistant Professor, Stevens Institute of Technology). His Master's students Samira Zaroudi (CUNY) and Reginald Ziedzor (Amplify) have also achieved notable career placements.