Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

Christian Medeiros Adriano (Chris)

Phone: +49 331 5509 319, Office: Building A, Room A-2.7

E-Mail: christian.adriano [at] hpi.de or [at] gmail.com

My: Linked-in and GitHub

NewsResearchTeachingPublications

 


News

>2026.04.14|Accepted paper at the International Workshop on Robotics Software Engineering colocated with the IEEE International Conference on Robotics and Automation- AAMAS 2026. Co-authored with JanNiklas Klein, Sona Ghahremani, and Holger Giese. Title:CrossMaps: a Confidence-Aware Open-Vocabulary Semantic Mapping for Rover Navigation
>2026.04.10|Organizer of the 2nd Neuro-Symbolic Software Engineering Workshop (NSE) at ACM ICSE26 together with my colleagues Sona (HPI), Daiki (IBM Japan), and Rúben (Krems University - Austria).
>2026.04.08|Accepted paper at the 3rd International Workshop on Evaluation of Qualitative Aspects of Intelligent Software Assistants (EQUISA) colocated with the International Conference on Evaluation and Assessment in Software Engineering (EASE) co-authored with Julius Porbeck and Holger Giese. Title: From Program Slices to Causal Clarity: Evaluating Faithful, Actionable LLM-Generated Failure Explanations via Context Partitioning and LLM-as-a-Judge
>2026.03.30|Accepted paper at the Neurosymbolic eXplainable Trustworthy System Workshop (Nexus) colocated with the International Conference on Autonomous Agents and Multiagent Systems (AAMAS). Co-authored with Zainab Rehan, Sona Ghahremani, and Holger Giese. Title: Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles.
>2026.03.04|Accepted chapter on Digital Twins. Co-authored with Nicolas Alder, Till Schniese, Philipp Hildebrandt, Maximilian Schulze, Sona Ghahremani and Holger Giese. Title: Sim-to-Real Transfer: Mitigating Overfitting in Underspecified Digital Twins via Synchronization, in the Special Issue Next-Generation Digital Twins - Intelligence, Integration, and Innovation
>2026.02.07|Accepted full paper at the International Conference on Software Architecture (ICSA), co-authored with Iqra Zafar and Holger Giese. Title: Interference-Aware Cross-Application Placement: A Multi-Objective Optimization Approach for Microservice Cluster.
>2025.08.01|Accepted paper at the 3rd International Workshop on Artificial Intelligence for Autonomous computing Systems (AI4AS) colocated with the IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), co-authored with Kathrin Korte, Sona Ghahremani, and Holger Giese. Title: Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments.
>2025.06.28|Accepted full paper at the IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), co-authored with Finn Kaiser, Sona Ghahremani, and Holger Giese. Title: Neuro-Symbolic Causal Reasoning for Cautious Self-Adaptation under Distribution Shifts.
>2024.09.20|Accepted paper at 2nd International Workshop on Artificial Intelligence for Autonomous computing Systems (AI4AS) colocated with the IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)2024 co-authored with Sona Ghahremani and Holger Giese. Principled Transfer Learning for Autonomic Systems: A Neuro-Symbolic Vision.
>2024.09.13|Accepted paper at NFM-ECML24. Co-authored with Til Schniese and Prof. Holger Giese. Leveraging Cross-Snapshot Attention for Identifying Graph Propagation Patterns in Dynamic Real-World Networks presented at The 12th Workshop on New Frontiers in Mining Complex Patterns, ECML - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
>2024.05.08|Accepted paper at ICPE24. Co-authored with Iqra Zafar and Prof. Holger Giese. STIGS: Spatio-Temporal Interference Graph Simulator for Self-Configurable Multi-Tenant Cloud Systems presented at The International Conference ICPE '24 Companion: Companion of the 15th ACM/SPEC International Conference on Performance Engineering
>2023.03.10|Contributed Talk (with Prof. Giese)AI in Software Engineering, at Adesso, Cologne, Germany, slides 
>2022.03.03|Accepted paper at MODELS22: Tool Support for the Teaching of State-Based Behavior ModelingConference: ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS) 2022 - the 18th Educators Symposium, Montréal, Canada
>2022.07.22|Talk: Neuro-Symbolic to the rescue: Rashomon Effect, Lord's Paradox, Collider Bias and other Insidious Phenomena (and Creatures), at the System Analysis & Modeling Department, HPI, Potsdam, Germany
>2021.10.27|Invited Talk: Too Big to Fail - Building Robust Intelligent Systems with Causal Machine Learning, at the HPI Research School Retreat, Potsdam, Germany, slides
>2021.07.14|Talk: Towards more Reliable Machine Learning-Based Systems - The Need for Methods to Discover Model Invariants, at the HPI Research School Retreat, Potsdam, Germany
>2020.10.24|Talk: Causal and Sequential Decision Models of Software Fault Understanding,  at the HPI Research School Retreat, Potsdam, Germany
>2020.03.03|Accepted paper on Bayesian modeling! Collective Risk Minimization via a Bayesian Model for Statistical Software Testing, Conference: SEAMS-2020, South Korea
>2019.06.19|Invited Talk: Enabling a crowd of programmers to work in parallel to identify, explain, and fix software bugs, Location: Meeting of the German Computer Science Research Training Groups 2019, in Dagstuhl
>2019.04.09|Invited Talk:Tackling the Perfect Fault Understanding Assumption with One Thousand Programmers in the Loop, Location: FutureSoc Symposium
>2018.07.18|Accepted paper: Microtasking Fault Localization, Conference: Doctoral Symposium at the Empirical Software Engineering Conference.
>2018.07.02|Talk: Crowdsourcing the localization and fixing of software faults, Location: Software Engineering Group at the Humbolt University.
>2018.06.15|Accepted paper: Learning Utility-changes for Rule-based Adaptation of Dynamic Architectures - Current and Future work, Conference:  ICAC-2018
>2018.03.09|Talk: Can a crowd identify the cause of a software failure and suggest valid bug fixes?, Location: University of Cape Town

Research Projects

I build causal representations to predict and explain the outcomes of tasks decision under uncertainty, for instance, judging over subjective information (opinions, beliefs) or over stochastic or adversarial environments (action-state transitions and rewards). I study how causal representations can support sequential decision making (via multi-armed bandits and reinforcement learning) with the specific concerns such as (1) how to aggregate conflicting information, (2) how to decide if more information is necessary for making a decision, and (3) who should ideally acquire/provide that information. I am particularly interested in the cases software engineers and autonomous agents are both providers and consumers of information.

More recently, I have been investigating these concerns under the topic of transfer learning and combining symbolic and learning-based methods (neuro-symbolic) to determine how fragments of information can be taken as knowledge to be reused, updated, extended, or forgotten.

Topics

  • Theory: Decision Theory, Voting, Utility theory.
  • Probabilistic Models: Causal Inference, Reinforcement Learning, Multi-Armed Bandits, Bayesian Inference, Markov Models, and Bayesian Optimization.
  • Empirical research: Quasi-experimental and Observational studies,Time series, and Sensitivity analysis.
  • Application domains: Crowdsourcing, Software Debugging, Self-Adaptive Systems, Traffic-Signal Control, Multi-Agent Systems.
  • Tools/Languages: R, Python, Java, Scala, Rust.

Projects

I am grateful to have the opportunity to work with many brilliant graduate and undergraduate students in individual and group research projects. Follow some of recent research projects that I have coordinated:

Teaching

Courses that I have been teaching:

Summer 2026

  • Research Methods in Software Engineering
  • Automated Scientific Discovery Tools in Software Engineering Research
  • Mechanistic Interpretability for Self-Improving Cyber-Physical Systems

Winter 2025/2026

  • Reinforcement Learning with Guarantees via Automated Verification
  • Robotic Sensing and Knowledge Transfer Learning in Safety-Critical Environments

Summer 2025

  • Introduction to Software Engineering
  • Automated Software Engineering: Trends and Challenges for using AI

Winter 2024/2025

  • Advanced Topics in Software Engineering: Automation and AI 
  • Software Engineering with Machine Learning: Tools and Methods 

Winter 2023

Summer 2022

Winter 2022

Summer 2021

Winter 2021

Summer 2020

Summer 2019

Summer 2018

Publications

My Google Scholar - link