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

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

دانشیار

• Computer Vision
• Deep Learning
• Machine Learning
• +۶ مورد دیگر

Kaiming He is an Associate Professor with tenure in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT), holding the Douglas Ross (1954) Career Development Professor of Software Technology chair. He also works part-time as a Distinguished Scientist at Google DeepMind. Prior to joining MIT in 2024, he was a research scientist at Facebook AI Research (FAIR) from 2016 to 2024, and a researcher at Microsoft Research Asia (MSRA) from 2011 to 2016. Dr. He received his PhD from the Chinese University of Hong Kong in 2011 and his Bachelor of Science from Tsinghua University in 2007. His academic journey reflects a strong foundation in computer science and engineering that has led to transformative contributions in artificial intelligence. His research primarily focuses on computer vision and deep learning, with pioneering work on deep residual networks (ResNets), visual object detection and segmentation, and self-supervised learning. He is best known for his work on Deep Residual Networks (ResNets), recognized as the most-cited paper of the twenty-first century. The residual connections he pioneered are now fundamental components in modern deep learning architectures including Transformers, AlphaGo Zero, AlphaFold, and various generative AI models. His recent publications demonstrate continued innovation across generative models, transformer architectures, and cross-disciplinary AI applications. His work bridges theoretical advances in neural network design with practical implementations that address real-world challenges in physics, biology, and other scientific domains. PAMI Young Researcher Award (2018) Best Paper Award, CVPR (2009, 2016) Best Paper Award, ICCV (2017) Best Student Paper Award, ICCV (2017) Everingham Prize, ICCV (2021) Most-cited paper of the twenty-first century Dr. He advises graduate students including Jake Austin, Xingjian Bai, and Mingyang Deng, and teaches advanced courses such as "6.S978: Deep Generative Models" (Fall 2024) and "6.8300/6.8301: Advances in Computer Vision" (Spring 2024). His research group actively explores how AI can serve as a unifying framework across scientific disciplines, breaking down traditional barriers between fields through shared methodologies and tools.

Robert MacCurdyمشاهده پروفایل

استادیار

• Automated robot design
• Additive manufacturing
• Soft robotics
• +۶ مورد دیگر

Robert MacCurdy is an Assistant Professor at the Department of Mechanical Engineering, University of Colorado Boulder . He leads the Matter Assembly Computation Lab (MACLab) focused on automating robot design and fabrication. His research bridges computational design and advanced manufacturing to create "robots that walk out of the printer." The lab develops tools like OpenVCAD , an open-source volumetric multi-material geometry compiler.

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.

Michael Luckمشاهده پروفایل

استاد

• Intelligent agents
• Multi-agent systems
• Trust and reputation
• +۳ مورد دیگر

Michael Luck is a Professor of Computer Science at University College London, specializing in intelligent agents, multi-agent systems, and trust and reputation frameworks. His work contributes to UN Sustainable Development Goals related to education and innovation. He holds a BSc and PhD from UCL (1988, 1993). Education: BSc (1988), PhD (1993) in Computer Science from UCL Research focuses on formal frameworks for agent systems, norms, trust mechanisms, and applications in genome analysis and grid computing. Recent projects include AQUAREOS (robotics collaboration), SAIS (AI assistants), and TrustATrip (reputation systems). Publications emphasize adaptive service environments, norm enforcement, and Bayesian trust models. He has been awarded Fellow of the British Computer Society (2005). Advising/Grants: Lead/co-investigator on 21 projects including EPSRC-funded initiatives. Supervised 14 students. Active in global conferences like AAMAS and contributed to standards via EPSRC Peer Review College.

John C. Doyleمشاهده پروفایل

استاد

• Control Theory
• Dynamical Systems
• Network Science
• +۴ مورد دیگر

John C. Doyle is the Jean-Lou Chameau Professor of Control and Dynamical Systems, Electrical Engineering, and BioEngineering at the California Institute of Technology (Caltech), where he holds appointments in the Division of Engineering and Applied Science with primary affiliation in the Control and Dynamical Systems Department. His research bridges theoretical foundations with applications across biological, technological, medical, and ecological networks. He earned a BS and MS in Electrical Engineering from MIT (1977) and a PhD in Mathematics from UC Berkeley (1984), followed by consultancy at Honeywell Systems and Research Center (1976-1990). MIT: BS & MS in Electrical Engineering (1977) UC Berkeley: PhD in Mathematics (1984) Doyle's research centers on universal laws and architectures in complex systems, emphasizing robustness-efficiency tradeoffs, speed-accuracy tradeoffs (SATs), diversity-enabled sweet spots (DeSS), bowtie/hourglass structures, and evolvability. His work pioneers System Level Synthesis (SLS) for control systems with sparse, local, saturating, delayed, noisy, quantized, and distributed (SLSDNQD) components, integrating control theory, computation, communication, and machine learning to address challenges from neural networks to infrastructure resilience. Key concepts include virtualization, horizontal transfer, and virality in multiscale systems. Analysis of his publication trends reveals consistent interdisciplinary impact across neuroscience (brain connectivity modeling), systems biology (metabolic oscillations), network science (internet topology), and physics (turbulence, earthquakes), with recurring themes of robust-efficiency limits and architectural principles governing complex networks. His work demonstrates exceptional translation from abstract theory to practical tools like the Matlab Robust Control Toolbox and Systems Biology Markup Language (SBML). His scientific recognition includes: 1990 IEEE Baker Prize (ranked among top 10 most important mathematics papers 1981-1993) Three IEEE Automatic Control Transactions Awards (1998, 1999, 2021) ACM Sigcomm Paper Prize (2004) and Test of Time Award (2016) IEEE Control Systems Field Award (2004) Multiple early-career honors including IEEE Centennial Outstanding Young Engineer (1984) Doyle has mentored generations of students whose contributions include foundational software tools adopted globally. His research has secured sustained funding from NSF, NIH, and other agencies supporting theoretical advances in control frameworks and their applications to biomedical systems, network infrastructure, and environmental modeling. The SBML initiative exemplifies his group's impact in standardizing computational biology research. He leads a highly collaborative research ecosystem at Caltech that integrates engineers, biologists, neuroscientists, and computer scientists to develop universal principles for complex networks. Current efforts focus on translating theoretical insights into health technologies, resilient infrastructure, and climate-responsive systems through the application of robust-efficiency frameworks to emerging challenges in cyber-physical and biological domains.

Jeremy Gibbonsمشاهده پروفایل

استاد

• Functional Programming
• Programming Languages
• Software Engineering
• +۳ مورد دیگر

Jeremy Gibbons is a Professor of Computing at the University of Oxford, affiliated with the Department of Computer Science within the Faculty of Computer Science. He serves as Director of the Professional Programmes, overseeing part-time postgraduate degrees in Software Engineering. His roles include Chair of the Faculty of Computer Science (2012–2016), Director of the Software Engineering Programme, and Fellow of Kellogg College. Gibbons' research focuses on programming methodologies, particularly functional and object-oriented languages, with an emphasis on program calculation, design patterns, and bidirectional transformations. He leads the Algebra of Programming research group and is Editor-in-Chief of the Journal of Functional Programming and The Art, Science, and Engineering of Programming . Education includes a D.Phil. from Oxford University. His work spans formal methods, domain-specific modeling for clinical trials (e.g., CancerGrid project), and semantic frameworks for software systems. He has advised numerous students and contributed to open-access initiatives in publishing. Key collaborations include roles in ACM SIGPLAN and IFIP Working Groups 2.1 and 2.11. Research interests emphasize foundational aspects like profunctor optics, categorical programming, and algorithm design. Notable projects include datatype-generic programming and metadata-driven engineering for clinical trials. His work bridges theoretical computer science with practical applications in software architecture and system design.

• MRI
• Diffusion MRI
• Perfusion MRI
• +۶ مورد دیگر

Professor Fernando Calamante is a Professor of Biomedical Engineering at The University of Sydney and Director of Sydney Imaging Core Research Facility. He leads the National Imaging Facility node and focuses on advanced MRI methodologies, particularly Diffusion and Perfusion MRI, to study brain connectivity and neurological disorders. His work includes developing the MRtrix software, widely used in diffusion MRI analysis. He holds extensive funding (~$50M) and has been recognized with awards like ISMRM Fellowship and NHMRC grants. His research spans super-resolution imaging, brain connectomics, and clinical applications in stroke and tumors. Education: BSc (Physics, Argentina), PhD (Magnetic Resonance Imaging, University College London). Career highlights include leadership roles at The Florey Institute and ISMRM presidency (2021-2022). Research interests include: Novel MRI methods for brain connectivity and super-resolution imaging Applications of Diffusion and Perfusion MRI in neurology Integration of structural and functional connectomics Key achievements: Over 200 publications, software innovations, and leadership in global MRI societies.

Alan Sussmanمشاهده پروفایل

استاد

• Databases and Big Data
• High Performance Computing
• Parallel and Distributed Systems
• +۴ مورد دیگر

Alan Sussman is a Professor and Associate Chair of Undergraduate Education in the Computer Science department at the University of Maryland. His research focuses on databases, high-performance computing, parallel systems, and educational curriculum development for computing disciplines. He holds a Ph.D. from Carnegie Mellon University (1991) and a B.S.E. from Princeton University (1982). His educational contributions include integrating parallel and distributed computing concepts into early undergraduate courses, supported by NSF-funded initiatives like the CyberTraining program. He has advised students such as Harshit Soora (Master's) and Xiaolong Tian (PhD). His research spans compiler optimizations for parallel programs, distributed data management systems, and scientific workflow frameworks like DYFLOW. He collaborates with UMIACS and contributes to interdisciplinary projects like the TASCS center. Key innovations include VeloxDFS for distributed dataset streaming, compiler techniques for irregular memory access in PGAS programs, and NetCDFaster for geospatial data optimization. His work emphasizes productivity improvements for high-performance applications and curriculum modernization to address emerging computational challenges. Awards: No individual awards explicitly listed; however, collaborator Jik-Soo Kim received a best paper award in 2006. Grants: NSF CyberTraining, TCPP Curriculum Initiative, and Center for Technology for Advanced Scientific Component Software (TASCS). Labs/Teams: Active in UMIACS and interdisciplinary collaborations, including the TASCS center and InterComm framework development.

Gaël Kermarrecمشاهده پروفایل

پژوهشگر

• Boundary Layer Meteorology
• Atmospheric Turbulence
• GNSS Applications
• +۳ مورد دیگر

Dr. Gaël Kermarrec is a researcher at the Boundary Layer Meteorology Group , part of the Institute of Meteorology and Climatology within the Faculty of Mathematics and Physics at Leibniz University Hannover . His work focuses on atmospheric turbulence, GNSS applications, and remote sensing for environmental monitoring. Boundary layer meteorology Turbulence theory GNSS signal processing Terrestrial laser scanning Climate change impacts Geodetic time series analysis His research integrates advanced mathematical models like LR B-splines and Matérn covariance with large eddy simulations to study: Atmospheric turbulence effects on optical/GNSS signals Hydrospheric mass loading Deformation analysis of terrain/port infrastructure Climatic sea-level changes Machine learning for remote sensing The 15 most recent articles (2025-2023) demonstrate his focus on: GNSS-based turbulence detection AI-enhanced climate mapping Advanced surface approximation techniques Multi-sensor data fusion Stochastic modeling of geodetic observations Environmental impacts on optical measurements He has developed tools like the Klimascanner QGIS plugin for urban climate resilience and contributes to: Understanding atmospheric scale lengths Improving TLS/GNSS deformation monitoring Analyzing hydrospheric changes Wavefront modeling Ionospheric corrections

Cynthia Sungمشاهده پروفایل

دانشیار

• Computational Robotics
• Origami Robotics
• Soft Robotics
• +۲ مورد دیگر

Cynthia Sung is an Associate Professor in the Mechanical Engineering and Applied Mechanics department at the University of Pennsylvania's School of Engineering and Applied Science, with secondary appointments in Computer and Information Science and Electrical and Systems Engineering. She directs the Sung Robotics Lab, focusing on computational methods for robot design, origami robotics, planning for distributed systems, and fabrication of reconfigurable systems. Her lab is funded by NSF, ONR, ARO, NASA, and Penn Health-Tech. Her research spans four key areas: Computational co-design integrating mechanical, electronic, and software components Soft/origami robotics leveraging compliance for adaptable systems Distributed planning for multi-robot coordination Novel fabrication techniques for deployable structures Publications show consistent focus on robotic mechanisms with recent trends in magnetic origami reconfiguration (2025), underwater jet coordination (2025), educational robotics kits (2025), and tunable-stiffness actuators (2024). Article keywords predominantly fall in Robotics, Material Science, and Control Systems. Awards & Recognition ONR Young Investigator Award (2023) NSF CAREER Award (2019) Johnson & Johnson Women in STEM2D Scholars Award (2020) Popular Mechanics Breakthrough Award (2017) Research Teams & Advising Leads the GRASP Lab-affiliated Sung Robotics group. Current doctoral students include Zhiyuan Yang (jet propulsion), Daniel Feshbach (kinematic design), and Gabriel Unger (reconfigurable structures). Recent graduates include Yipeng Zhang (MSc, SALP robotics) and Christopher Kim (PhD, self-sensing actuators).

Tao Zouمشاهده پروفایل

دانشیار

• Covariance regression modeling
• Network data modeling
• Financial statistics
• +۳ مورد دیگر

Tao Zou is an Associate Professor at the Research School of Finance, Actuarial Studies and Statistics, Australian National University. His research spans covariance regression modeling, network data analysis, and applications in financial and environmental statistics. He earned a Ph.D. in Statistics in 2016. Ph.D. in Statistics, 2016 Dr. Zou’s work pioneers covariance regression, where covariances are modeled as functions of covariiates. Key contributions include robust estimation techniques, spatio-temporal modeling, missing data imputation via semi-supervised learning, and distributed data aggregation. His methods address challenges in high-dimensional and non-Euclidean data analysis. Recent publications (2025–2023) explore quasi-score matching for spatial autoregressive models, regularization in network regression, functional principal component analysis for complex data, and environmental applications like PM2.5 pollution studies. These works emphasize robustness, scalability, and interdisciplinary relevance in economics, finance, and environmental science. Dr. Zou collaborates on projects like the 2023 Data Analysis App to Empower Assessment of Immunogenicity of Biologics (Co-Investigator). While his student supervision list isn’t explicitly provided, his methodological advancements influence big data and spatial statistics. He contributes to open-access software and continues expanding covariance regression for non-normal and functional data.

Tao Shuمشاهده پروفایل

دانشیار

• Cybersecurity
• Wireless Communication
• Federated Learning
• +۳ مورد دیگر

Dr. Tao Shu is an Associate Professor in the Department of Computer Science and Software Engineering at Auburn University. His research focuses on cybersecurity, wireless communication systems, federated learning, and IoT applications. He holds a Ph.D. in Electrical and Computer Engineering from the University of Arizona, and M.S. and B.S. degrees in Electronic Engineering from South China University of Technology. Dr. Shu's work emphasizes secure communication and distributed learning systems, including projects funded by the NSF such as a novel method to prevent cyberattacks on Low Earth Orbit (LEO) satellites. He has been recognized for academic excellence, including being named to Auburn University’s 2020 promotion and tenure list. His research interests span cybersecurity mechanisms for autonomous vehicles, privacy-preserving federated learning, and resource allocation in metaverse environments. He explores innovative solutions for sensor spoofing detection, adversarial machine learning, and energy-efficient IoT systems. Dr. Shu is affiliated with Auburn’s Center for Artificial Intelligence and Cybersecurity Engineering and actively contributes to interdisciplinary projects. His publications reflect a strong focus on practical applications of theoretical advancements in wireless systems and secure data transmission.

Mike Rubensteinمشاهده پروفایل

استادیار

• Swarm Robotics
• Multi-Robot Systems
• Decentralized Control
• +۳ مورد دیگر

Mike Rubenstein is an Assistant Professor with joint appointments in the Department of Computer Science and Department of Mechanical Engineering at Northwestern University. He holds the Lisa Wissner-Slivka and Benjamin Slivka Professorship in Computer Science and is affiliated with the Center for Robotics and Biosystems. His educational background includes a Ph.D. in Computer Science from the University of Southern California, an M.S. in Electrical Engineering from USC, and a B.S. in Electrical Engineering from Purdue University. Prior to joining Northwestern, he completed a postdoctoral fellowship at Harvard University's Self-Organizing Systems Research Group. Rubenstein's research focuses on advancing multi-robot systems to enable capabilities beyond traditional single robots, emphasizing parallelism, adaptability, and fault tolerance at scale (hundreds to millions of robots). His work spans swarm shape control, modular self-reconfigurable robotics, bio-inspired satellite constellations, and novel sensing for air vehicle swarms. Key themes include algorithmic control for large-scale systems and hardware innovations to overcome current limitations in swarm robotics. His advising has produced notable student achievements, including Petras Swissler's Best Student Paper Award at DARS 2021 and Drew Curtis's NDSEG Fellowship. Research trends across his publications reveal a consistent emphasis on scalability, real-world applicability, and bridging hardware constraints with algorithmic innovation in swarm systems. Rubenstein actively mentors graduate students and leads projects involving swarm robotics platforms like FireAnt and PCBot. His lab focuses on developing systems where simplicity in individual robots enables emergent complexity at the swarm level, with applications ranging from space exploration to medical imaging.

Steve Bokerمشاهده پروفایل

استاد

• Quantitative Psychology
• Structural Equation Modeling
• Longitudinal Data Analysis
• +۵ مورد دیگر

Steve Boker is a Professor of Psychology at the University of Virginia, directing the Human Dynamics Laboratory and the LIFE Academy. His research focuses on quantitative psychology, structural equation modeling (SEM), and dynamical systems analysis for longitudinal and time series data. Dr. Boker has pioneered methods like Differential Structural Equation Modeling (dSEM) , Latent Differential Equations (LDE) , and the Windowed Cross-Correlation (WCC) method. He co-developed the widely used OpenMx SEM software framework and invented the RAMpath method for path diagram analysis. Key Research Areas: Dyadic conversation dynamics, adaptive systems in addiction, motion symmetry in social interactions, maternal-infant coupling, and resilience modeling through longitudinal data. Awards & Honors: 2024 Distinguished Researcher Award (UVA) 2020 Saul Sells Award for lifetime achievement in multivariate psychology Fellow, American Psychological Association Fellow, Association for Psychological Science His methodological contributions span over 150 publications, with recent work emphasizing nonlinear dynamics, surrogate data validation, and complexity metrics like the Tangle index for short time series analysis.

Ruben Martinsمشاهده پروفایل

استادیار

• Constraint Programming
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.