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

Ardalan Amiri Saniمشاهده پروفایل

دانشیار

• Mobile Systems
• Operating Systems
• Security
• +۵ مورد دیگر

Ardalan Amiri Sani is an Associate Professor in the Computer Science Department at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He leads the Trustworthy Systems Lab (TrussLab), focusing on secure and reliable mobile systems, operating systems, and virtualization. His research bridges mobile computing, security, and OS design, addressing challenges in I/O devices, kernel hardening, and verifiable provenance. Education: Ph.D. and M.Sc. from Rice University (ECE), B.Sc. from Sharif University of Technology. Awards include the NSF CAREER Award, Google ASPIRE Award, and UCI Dean's Mid-Career Research Award. He has advised numerous graduate and undergraduate students, many of whom now work in academia and industry. Research highlights include Tabellion (secure legal contracts on mobile devices), ProvCam (verifiable video provenance), and work on minimizing smartphone TCBs via hardware isolation. His grants include NSF funding for OS kernel security and NSA support for provenance systems. Education: Ph.D., Electrical and Computer Engineering, Rice University, 2014 B.Sc., Electrical Engineering, Sharif University of Technology Grants: $500K NSF Award (with UCR) for OS kernel security (2020) NSF SaTC Award for GPU security in browsers Google ASPIRE Award for Android system call filtering Labs/Teams: Trustworthy Systems Lab (TrussLab), collaborating with industry partners like Intel and Broadcom.

Juan Zhaiمشاهده پروفایل

استادیار

• Software Engineering
• Program Languages
• Natural Language Processing
• +۶ مورد دیگر

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

• Software Engineering
• Deep Learning
• Autonomous Systems
• +۳ مورد دیگر

Prof. Dr. Andrea Stocco is a Professor at the Technische Universität München (TUM), affiliated with the TUM School of Computation, Information and Technology. His research focuses on the intersection of software engineering and deep learning, particularly addressing the robustness and reliability of data-intensive systems. Key areas include autonomous vehicles, web application testing, and automated functional oracles for deep learning systems. He leads initiatives such as the Lehrstuhl für Software und Systems Engineering , collaborating on projects like CrESt and SUPPRA – Algorand Center of Excellence . Research interests encompass monitoring techniques for AI-driven systems, test suite maintainability, and scenario-based testing of cyber-physical systems (CPS). His work emphasizes practical applications, such as improving testing frameworks for evolving web applications and enhancing interoperability in autonomous driving systems (ADS). Recent efforts include leveraging large language models (LLMs) for secure code assessment and benchmarking generative AI for test input generation. No scientific awards are explicitly mentioned in the provided texts. His publications reflect a strong focus on testing methodologies, with over 40 articles since 2013, covering domains like web test automation, dependency-aware testing, and safety-critical failure prediction in autonomous systems. Advising and grants details are not detailed in the current data, but his lab contributes to TUM's broader efforts in software engineering and systems reliability.

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.

Carlo Rovelliمشاهده پروفایل

استاد

• Loop Quantum Gravity
• Relational Quantum Mechanics
• History of Science
• +۳ مورد دیگر

Carlo Rovelli is a Professeur de classe exceptionnelle in the Department of Physics at Aix-Marseille University, holding adjunct roles at Western University's Department of Philosophy and a Distinguished Visiting Research Chair at the Perimeter Institute. He founded the quantum gravity group at the Centre de Physique Théorique (CPT) and is an associate member of the Rotman Institute of Philosophy. His research focuses on loop quantum gravity, relational quantum mechanics, and the history/philosophy of science. He authored influential popular science books including Seven Brief Lessons on Physics (41 languages, 1M+ copies sold) and Helgoland: Making Sense of the Quantum Revolution . Rovelli's work bridges theoretical physics with philosophical inquiry, exploring foundational questions in quantum mechanics, spacetime structure, and the interpretation of physical theories. His recent publications address topics like quantum information theory, gauge symmetries, black hole evaporation, and cosmological implications of quantum gravity.

Martin Solbergerمشاهده پروفایل

دانشیار

• Time Series Econometrics
• Macroeconomic Forecasting
• Latent Time Series Estimation
• +۳ مورد دیگر

Martin Solberger is an Associate Professor in the Department of Statistics at Uppsala University, where he received his PhD in statistics in 2013 and was promoted to associate professor in 2022. His office is located at Ekonomikum (3rd floor), Kyrkogårdsgatan 10, with postal address Box 513, 751 20 UPPSALA. Dr. Solberger specializes in time series econometrics with particular expertise in macroeconomic forecasting and estimation of latent time series variables including potential GDP and the neutral interest rate. His research demonstrates sophisticated methodological approaches to dynamic factor models, unit root testing, and interest rate analysis, frequently employing Kalman filtering techniques and Bayesian VAR modeling. His publication record reveals a strong focus on Scandinavian economic analysis, particularly examining the natural rate of interest and neutral interest rate dynamics within Swedish and broader Nordic contexts. Recent work shows increasing attention to international spillover effects on domestic monetary policy variables and methodological refinements in panel data econometrics. Through extensive collaboration with researchers including Spånberg, Armelius, and Österholm, Solberger has established himself as a significant contributor to modern time series econometrics methodology and its application to central banking and fiscal policy questions.

Quoc Thong Le Giaمشاهده پروفایل

دانشیار

• Numerical Analysis
• Approximation Theory
• Partial Differential Equations
• +۵ مورد دیگر

Quoc Thong Le Gia is an Associate Professor in the School of Mathematics & Statistics at the University of New South Wales (UNSW), Sydney. He holds a PhD in Mathematics from Texas A&M University (2003), an MS in Mathematics from Texas A&M University (2000), and a BSc in Mathematics and Computer Science from UNSW (1998). His research focuses on Numerical Analysis , Approximation Theory , Partial Differential Equations , and Stochastic Processes , with particular expertise in problems on spherical domains. His work bridges theoretical mathematics with practical applications in computational science, data science, and machine learning. Le Gia's recent publications demonstrate a strong focus on numerical methods for PDEs on spheres, stochastic analysis, and machine learning applications. His work shows consistent progression from theoretical foundations to practical implementations, with increasing interdisciplinary applications in recent years. L. F. Guseman Prize in Mathematics, Texas A&M University (2003) As a dedicated academic mentor, Le Gia has supervised numerous PhD, Master's, and Honours students across computational mathematics and data science topics. He has secured significant research funding through ARC Discovery Projects including DP220101811 (2022-2024) and DP180100506 (2018-2020). Professionally, he serves as External Associate Editor for Frontiers in Applied Mathematics and Statistics , Secretary for ANZIAM's Computational Mathematics Group, and Co-chair of Mathematics of Computation and Optimisation (AustMS Special Interest Group).

Anil Madhavapeddyمشاهده پروفایل

استاد

• Environmental Computing
• Climate Change Informatics
• Distributed Systems
• +۵ مورد دیگر

Anil Madhavapeddy serves as Professor of Planetary Computing at the University of Cambridge's Department of Computer Science and Technology and directs the Cambridge Centre for Carbon Credits (4C). A Fellow of Pembroke College, he integrates systems research with environmental conservation through the Computer Laboratory's Environment and Energy Group. His career spans industry leadership (NetApp, Citrix, Intel), academic appointments (Cambridge, Imperial, UCLA), and entrepreneurial ventures (XenSource, Unikernel Systems, Docker). Madhavapeddy earned his PhD at Cambridge's Computer Laboratory in 2006. His research bridges computational systems and planetary-scale environmental challenges, with deep expertise in open-source development (OCaml, Xen, Docker, OpenBSD) and technology strategy advising for organizations including Zededa, Tezos Foundation, and Tarides. His work centers on environmental computing and climate informatics, leveraging distributed systems and functional programming to develop sensing infrastructure for conservation. Recent projects focus on carbon credit systems, AI-driven biodiversity monitoring, and sustainable computing architectures that minimize ecological footprints while maximizing analytical capability. Analysis of his 2025 publications reveals a concentrated effort on AI-integrated conservation tools, privacy-preserving carbon accounting, and energy-efficient computing. Key themes include spatial networking for ecological data, LLM-enhanced evidence retrieval in conservation science, and novel metrics for extinction risk assessment—demonstrating computational innovation applied to urgent planetary boundaries. No scientific awards were documented in the source material. Madhavapeddy advises multiple technology firms on strategic development while leading the Cambridge Centre for Carbon Credits, though specific grant funding details remain unreported. He actively contributes to the Environment and Energy Group at Cambridge's Computer Laboratory and directs the interdisciplinary Cambridge Centre for Carbon Credits (4C). His open-source leadership spans critical infrastructure projects including OCaml, Xen, and Docker, fostering collaborative development communities that underpin modern cloud and container technologies.

Rogério de Lemosمشاهده پروفایل

مدرس ارشد

• Resilient AI
• Self-adaptive software systems
• Authorisation infrastructures
• +۷ مورد دیگر

Rogério de Lemos is a Senior Lecturer in Computing Science and Director of Postgraduate Research (PGR) at the School of Computing, University of Kent. He previously served as an invited assistant professor at the University of Coimbra, Portugal, and as a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, UK. Dr. de Lemos' research focuses on architecting resilient systems, particularly in resilient AI, self-adaptive software systems, and authorization infrastructures. He belongs to both the Programming Languages and Systems Group and the Cyber Security Group at the University of Kent. His specific research interests include: Software engineering for self-adaptive systems assurances and resilience evaluation Dynamic generation of processes Handling insider threats using self-adaptive authorization Architectural abstractions for fault tolerance Verification and validation of dependable software architectures Software development for safety-critical systems Dependability and bioinspired computing His publication trends show increasing emphasis on practical applications of self-adaptive systems in cyber security contexts, with recent work spanning network traffic analysis, cryptographic function detection, and cloud-edge security architectures. His research bridges theoretical foundations with practical implementations, particularly in cyber security and resilient systems architecture. Dr. de Lemos currently leads the "Collaborative and Confidential Information Sharing and Analysis for Cyber Protection" project funded by the European Union's Horizon 2020 Programme. His past projects include "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems" and multiple collaborations with NCR on sensor fusion and fault tolerance. As Director of Postgraduate Research, he oversees the School of Computing's research degree programs and likely supervises PhD students in resilient systems and cyber security, though specific student names are not listed in the available information.

• Cloud Computing
• Operating Systems
• File/Storage Systems
• +۳ مورد دیگر

Haryadi S. Gunawi is a Professor in the Department of Computer Science at the University of Chicago where he leads the UCARE research group (UChicago systems research on Availability, Reliability, and Efficiency). His work focuses on improving the dependability of storage and cloud computing systems, with a particular emphasis on addressing performance stability, reliability, and scalability challenges in modern computing environments. Dr. Gunawi received his Ph.D. in Computer Science from the University of Wisconsin, Madison in 2009. Following his doctoral studies, he was a postdoctoral fellow at the University of California, Berkeley from 2010 to 2012 before joining the University of Chicago faculty. His research focuses on three main areas: (1) performance stability, where he builds storage and distributed systems robust to latency tails and "limping" hardware; (2) reliability and scalability, where he addresses concurrency and scalability bugs in cloud-scale distributed systems; and (3) the intersection of machine learning and systems, exploring how machine learning techniques can solve operating and storage system problems. His work often combines theoretical insights with practical system implementations that address real-world challenges in cloud and storage infrastructure. Dr. Gunawi's publication record shows a consistent focus on storage and cloud system reliability, with recent work increasingly incorporating machine learning techniques to address traditional systems challenges. His research spans the full stack from hardware interfaces to distributed system design, with a strong emphasis on practical solutions that can be deployed in production environments. His work often involves close collaboration with industry partners to ensure real-world relevance and impact. Dr. Gunawi has received numerous prestigious awards including the NSF CAREER award, NSF Computing Innovation Fellowship, Google Faculty Research Award, multiple NetApp Faculty Fellowships, and an Honorable Mention for the 2009 ACM Doctoral Dissertation Award. He has also received the Provost's Global Faculty Award and Facebook Faculty Research Award, highlighting the broad recognition of his contributions to the field. As an advisor, Dr. Gunawi has mentored several PhD students including Ruidan Li, Ray Andrew, Rani Ayu Putri, and William Nixon. His research has been supported by major grants from NSF, Google, Facebook, and NetApp, enabling his team to pursue ambitious research projects at the intersection of systems, storage, and machine learning. Dr. Gunawi leads the UCARE research group at UChicago, which focuses on improving the dependability of storage and cloud-scale distributed systems. He is also involved with the Chameleon cloud research infrastructure project and the broader Systems Group at UChicago, contributing to a vibrant research community focused on systems, programming languages, and software engineering.

Alexander Pretschnerمشاهده پروفایل

استاد

• Software Engineering
• Testing
• Information Security
• +۵ مورد دیگر

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

Gary Kingمشاهده پروفایل

استاد

• Political Methodology
• Statistical Inference
• Quantitative Social Science
• +۷ مورد دیگر

Gary King is the Albert J. Weatherhead III University Professor at Harvard University and Director of the Institute for Quantitative Social Science. He is based in the Department of Government within Harvard's Faculty of Arts and Sciences. One of only 22 University Professors at Harvard, this represents the institution's most distinguished faculty position. King received his B.A. from SUNY New Paltz in 1980 and his Ph.D. from the University of Wisconsin-Madison in 1984. His academic journey has led him to become one of the most influential scholars in political methodology and quantitative social science. Professor King's research spans numerous areas of methodological innovation in the social sciences. His work focuses on developing and applying empirical methods across various domains. Key research interests include: Ecological Inference - developing methods to infer individual behavior from group-level data Automated Text Analysis - creating techniques for extracting knowledge from massive text collections Causal Inference - methods for detecting and reducing model dependence in causal effect estimation Missing Data and Measurement Error - statistical approaches to handle incomplete or imperfect data Survey Research - developing methods for more accurate cross-cultural survey comparisons Unifying Statistical Analysis - integrating diverse methodological approaches into coherent frameworks King's recent publications demonstrate a continued focus on methodological innovation with practical applications. His work spans political science, public health, and data science, with particular emphasis on privacy-preserving data analysis, maternal health metrics, survey methodology, and media effects. A notable trend is the increasing interdisciplinary nature of his research, bridging political methodology with public health, computer science, and demography. His work on census data privacy, maternal mortality disparities, and media influence represents cutting-edge applications of social science methodology to critical societal issues. His scientific achievements have been recognized with numerous prestigious awards: Fellow of the National Academy of Sciences (2010) Fellow of the American Statistical Association (2009) Fellow of the American Academy of Arts and Sciences (1998) Guggenheim Foundation Fellow (1994-1995) Career Achievement Award (2010) Warren Miller Prize (2008) Multiple awards for research software and methodology King has mentored numerous students and postdocs, many of whom now hold faculty positions at leading universities. His research has been supported by major funding agencies including the National Science Foundation, Centers for Disease Control and Prevention, World Health Organization, and National Institute of Aging. He has collaborated with over seventy scholars on research publications and served on numerous editorial boards and professional organization councils. His work on the Mexican universal health insurance program represents one of the largest randomized health policy experiments to date, demonstrating his commitment to rigorous evaluation of real-world policy interventions. As Director of the Institute for Quantitative Social Science, King leads a vibrant research community focused on methodological innovation. His work has practical applications in diverse areas including legislative redistricting (used by the U.S. Supreme Court), health policy evaluation (including the largest randomized health policy experiment to date in Mexico), Chinese censorship analysis (revealing government fabrication of 450 million social media comments annually), and automated text analysis (through Crimson Hexagon, a company he co-founded).

Steven H. H. Dingمشاهده پروفایل

استادیار

• Cybersecurity
• Machine Learning
• Data Mining
• +۷ مورد دیگر

Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.

Philip Thomasمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Reinforcement Learning
• AI Safety
• +۳ مورد دیگر

Philip Thomas is an Associate Professor and Doctoral Program Director at the Manning College of Information and Computer Sciences, University of Massachusetts Amherst. He leads the Autonomous Learning Lab (ALL) and co-founded the Reinforcement Learning Conference (RLC). His research focuses on reinforcement learning, AI safety, and algorithms that ensure safety guarantees for high-risk applications like healthcare and digital marketing. Education: PhD in Computer Science, University of Massachusetts Amherst (2015) MSc in Computer Science, Case Western Reserve University (2009) BSc in Computer Science, Case Western Reserve University (2008) Research Interests: Thomas specializes in designing biologically plausible reinforcement learning algorithms and ensuring safety through frameworks like Qualia Optimization and Seldonian Algorithms . His work emphasizes off-policy evaluation, fairness guarantees, and ethical AI. Recent projects include developing benchmarks for medical decision-making (e.g., ICU-Sepsis) and analyzing adversarial robustness in speech denoising models. Articles Trends: His recent work spans high-confidence policy evaluation, fairness metrics, and algorithmic safety. Key themes include improving benchmarking practices, rethinking eligibility traces, and leveraging state abstraction for consistent off-policy evaluation. Awards & Grants: Armstrong Award Co-PI on Army Research Grant (IoBT), NSF grant (FMitF) Significant funding from Adobe Research Advising & Grants: Thomas has overseen grants totaling millions and mentored students in reinforcement learning and AI safety. His current focus includes exploring qualia optimization for doctoral applications (2026-2027). Labs & Teams: He directs the Autonomous Learning Lab and collaborates on interdisciplinary projects at the Center for Data Science, emphasizing ethical AI and safe machine learning systems.

Björn Brandenburgمشاهده پروفایل

پژوهشگر

• Real-Time Systems
• Scheduling Algorithms
• Real-Time Operating Systems
• +۵ مورد دیگر

Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.