<head>
    <meta charset="UTF-8">
  </head>
  
  <script src="./md.js"></script>
  <style>
  body {
      background-color: #F0EEE3;
      font-family: "Trebuchet MS", Helvetica, sans-serif;
      max-width: 1000px;
      color: #2A4765;
  }
  
  h1, .intro {
      text-align: center;
  }
  
  .header-table {
      border: none;
      border-collapse: collapse;
      width: 100%;
      
  }
  
  td {
      border: none !important;
  }
  
  .side-row {
      width: 20%;
  }
  
  .main-row {
      width: 60%;
  }
  
  .avatar {
      border-radius: 50%;
  }
  
  @media screen and (max-width: 650px) {
    .side-row {
      width: 0%;
    }
    .main-row {
      width: 100%;
    }
    .uni-logo-1, .avatar {
        visibility: hidden;
        width: 0%;
    }
  }
  
  </style>
  <noscript>
  
# Timotheus Kampik
  
  <table class="header-table" cellspacing="0" cellpadding="0">
    <tr>
        <td class="side-row">
            <img class="avatar" src="./tk.jpg" alt="Timotheus Kampik - Avatar" height="150" width="150">
        </td>
        <td class="main-row">
          <div class="intro">
              Department of Computing Science <br>
              Umeå University <br>
              <br>
              tkampik [at] cs.umu.se
          </div>  
        </td>
         <td class="side-row">
            <img class="uni-logo-1" src="./uni_logo_small.png" alt="Umeå University - Logo" height="150" width="150">
        </td>
    </tr>
  </table>
  
  I am researching principle-based automated reasoning, as well as the engineering of intelligent systems.
  My primary employer is SAP, where I work as *Principal Scientist* for SAP Signavio (process intelligence).
  In addition, I am Adjunct Associate Professor at the Department of Computing Science at Umeå University.
  

# Curriculum Vitae
  
## Academic Research & Teaching Positions

  *   Since 2023: Adjunct Associate Professor, Department of Computing Science, Umeå University, Sweden
  *   2021-2023: University Teacher, Department of Computing Science, Umeå University, Sweden
  *   2018-2021: PhD Student, Department of Computing Science, Umeå University, Sweden 
  *   2014: Teaching Assistant. UiT – The Arctic University of Norway, Tromsø, Norway.
  *   2014: Software Developer. Norwegian Centre for E-health Research, Tromsø, Norway.
  
## Industry Experience

  *   Since 2021: Principal Scientist in Residence (Expert). SAP Signavio, Germany/SAP, Sweden.
  *   2020 - 2021: Scientist in Residence. Signavio, Germany.
  *   2018 - 2020: Product Analyst. Signavio. Berlin, Germany.
  *   2015-2018: Software Engineer. Signavio. Berlin, Germany.
  *   2012-2015: Mixed IT/QA Engineer. Signavio. Berlin, Germany.
  
## Higher Education

  *   2022: PhD in Computing Science. Umeå University. Umeå, Sweden.
  *   2020: Licentiate in Computing Science. Umeå University. Umeå, Sweden.
  *   2015: Master of Science in Telemedicine and eHealth. UiT - The Arctic University of Norway. Tromsø, Norway.
  *   2012: Bachelor in IT and Information Systems. University of Agder. Kristiansand, Norway.
  
## Teaching

  Umeå University
  * 2022/2023: Software Engineering. Lectures and Labs.
  * 2019/2020/2021: Introduction to AI for Industry. Lectures and Labs.
  * 2020/2021/2022: Fundamentals of Artificial Intelligence. Lectures and Labs.
  * 2019/2020/2021/2022: Artificial Intelligence: Methods and Applications. Lectures and Labs.
  
  Arctic University of Norway
  * 2014: Advanced Telemedicine and e-Health Systems. Labs.
  
## Supervision

  Umeå University
  * Master Thesis: "Human-Aware Planning for Promoting Social Behavior-Change in Autism" (Andreas Brännströmm, 2020)
  * Bachelor Theses: "Towards Dialogue Models for Online Grooming Detection" (Tobiaz Paulsson, 2020), "Reaction Time-based Deception Detection" (Johannes Parsmo, 2020)
  
  SRH - Berlin University of Applied Sciences (External Examiner)
  * Bachelor Thesis: "Data-Driven Product Management: KPI Alignment and Knowledge-Sharing Between Product Management and the Sales Organization" (Saleh Dabaliz, 2020)
  
  SAP  
  * At SAP, I am typically supervising 1-3 bachelor or master theses at a time, as the industrial supervisor.  
    <!--Above, only the theses are listed where I am formally documented as supervisor, which is, in the context of industry supervison, not always possible.-->
    
## Conference/Workshop Co-Organization
  
  **Co-Chairing**:
  * International Workshop on Argumentation for eXplainable AI (ArgXAI, 2022)
  
  **Publiciy & Assistance**:
  * International Workshop on EXplainable TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS, 2019, 2020, 2021)
  * International Workshop on Block Chain Technologies 4 Multi-Agent Systems (BCT4MAS, 2018, 2019)
  * 31st Workshop of the Swedish Artificial Intelligence Society (SAIS, 2019)
  
  **Session Chairing**:
  * International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE, 2021)
  
## Academic Administration Committees
  *   2019 - 2022: Member of the [PhD Student Council](https://wasp-sweden.org/about/phd-student-council/) of the Wallenberg AI, Autonomous Systems and Software Program (WASP).
  *   2018 - 2022: Member of Council for Doctoral Education. Department of Computing Science. Umeå University. Umeå, Sweden.
  
## Journal Reviewer Activity
  Artificial Intelligence (AIJ), Logic and Computation, Approximate Reasoning, Information Systems, Information & Computation, IEEE Transactions on Services Computing, Artificial Intelligence in Medicine, Information Management Data Insights, Journal of Open Source Software 
## Scientific Committees/Conference Reviewer Activity
  * Conferences: AAAI (2019, 2020, 2021, 2022), KR (2020), AAMAAS (2019, 2020, 2022), COMPASS (2021, 2022), The Web Conference, formerly WWW (2023), ICLP (2023)
  * Workshops and other semi-formal venues: AI for Social Good Workshop (co-located with IJCAI 2019, 2020), SAIS (2019), EXTRAAMAS (2019, 2020, 2021, 2022), BCT4MAS (2018, 2019), DeceptAI (2020, 2021), OHAAI (2021, 2022)
  
## Open-source and Open Standards Involvement
  *   2018: Vendor representative in the [OMG BPMN Model Interchange Group (MIWG)](http://www.omgwiki.org/bpmn-miwg/doku.php).
  *   Since 2015: Contributor to different open-source projects, see: [http://github.com/TimKam/](http://github.com/TimKam/).
  
  
## Seminars and Public Outreach (Selection)
  *   Workshop Keynote at ICPM 2021 with David Eickhoff: *Data-driven and Knowledge-based Process Querying across Processes and Organizations*. 2022.
  *   Presentation at Springer's Logica Universalis seminar series with Dov Gabbay: *The Talmudic Logic Project*. 2021.
  *   Tutorial at AAMAS conference, with Juan Carlos Nieves: *[Argumentation-based Dialogues and their Application to Interactive Intelligent Systems](https://people.cs.umu.se/tkampik/tutorial/aamas2021.html#)*. 2021.
  *   Presentation at Imperial College (London), [XAI seminar](http://xaiseminars.doc.ic.ac.uk/): *Principle-based and Explainable Reasoning: From Humans to Machines*. 2021.
  *   Presentation at Ericsson Research, Trustworthy AI seminar: *Reasoning: From Humans to Machines*. 2021.
  *   Participation and presentation, Dagstuhl Seminar on Autonomous Agents and the Web. 2021.
  *   Presentation at the "[AI & Art Kick-off](https://airobolab.uni.lu/invited-speakers/)", European Capital of Culture 2022: *Art Evolves Life - A Sound-Driven Game of Life*. 2020.
  *   Presentation at University of Luxembourg: *Economic Rationality and Artificial Intelligence*.
  *   Presentation at Umeå University ([AI@UmU](http://umuais.cs.umu.se/)): *Why We Should Embrace Open-source Community Approaches to AI Research*. 2018.
  *   Interview: *Sveriges Radio*. *P3 Dystopia*. The *Dystopia* team used snippets of the interview in their *[Artificiell intelligens](https://sverigesradio.se/sida/avsnitt/1177786?programid=5188)* episode. 2018.
  *   Presentation at *eHealth Mini-Symposium*. Umeå University: *Artificial Intelligence for Improving Health*. 2018.
  
<h2 id="bib">Bibliography</h2>
  Not listed: white papers, extended abstracts and informally shared papers and reports. **The list here is updated infrequently. Also check Google Scholar.**
  
### Journals and Magazines
  *   **Kampik**. "Kettle Logic in Abstract Argumentation". 2023. (to appear, [pre-print available](https://people.cs.umu.se/~tkampik/reports/Kampik_Kettle_Logic.pdf))
  *   **Kampik**, Gabbay, Sartor. "A Comprehensive Account of the Burden of Persuasion in Abstract Argumentation". Journal of Logic and Computation. 2023. 
  *   **Kampik**, Nieves, Gabbay. "Ensuring Reference Independence and Cautious Monotony in Abstract Argumentation". International Journal of Approximate Reasoning. 2022. 
  *   **Kampik**, Mansour, Boissier, Kirrane, Padget, Payne, Singh, Tamma, Zimmermann. Governance of Autonomous Agents on the Web: Challenges and Opportunities. In ACM Transactions on Internet Technology, Association for Computing Machinery. 2022.
  *   Mualla, Tchappi, **Kampik**, Najjar, Calvaresi, Abbas-Turki, Galland, Nicolle. "The Quest of Parsimonious XAI: a Human-Agent Architecture for Explanation Formulation". Artificial Intelligence. 2022.
  *   Lindgren, **Kampik**, Rosero, Blusi, Nieves. "Argumentation-based Health Information Systems: A Design Methodology". IEEE Intelligent Systems. 2021.
  *   **Kampik**, Nieves. "Abstract Argumentation and the Rational Man". Journal of Logic and Computation. 2021.
  *   **Kampik**, Najjar. "Simulating, off-chain and on-chain: Agent-based simulations in cross-organizational business processes". Information. 2020.
  
### Conference Papers
  *   **Kampik**, Cyras. Explaining Change in Quantitative Bipolar Argumentation. COMMA. 2022.
  *   **Kampik**, Weske. "Event Log Generation: An Industry Perspective." BPMDS. 2022.
  *   Brännström, **Kampik**, Ruiz-Dolz, Taverner. "A Formal Framework for Designing Boundedly Rational Agents".
  *   **Kampik**, Gabbay. "The Degrees of Monotony-Dilemma in Abstract Argumentation". Symbolic and Quantitative Approaches to Reasoning with Uncertainty. 2021.
  *   **Kampik**, Gabbay, Sartor. "The Burden of Persuasion in Abstract Argumentation". Logic and Argumentation. 2021.
  *   **Kampik**, Cyras. "Explanations of Non-monotonic Inference in Admissibility-Based Abstract Argumentation". Logic and Argumentation. 2021.
  *   Mualla, Tchappi, Najjar, **Kampik**, Galland, Nicolle. "Human-Agent Explainability: An Experimental Case Study on the Filtering of Explanations". ICAART. 2020.
  *   **Kampik**, Najjar. "Technology-facilitated Societal Consensus". UMAP. 2019.
  *   **Kampik**, Malhi, Främling. "Agent-based Business Process Orchestration for IoT". WI. 2019.
  *   **Kampik**, Nieves, Lindgren. "Implementing Argumentation-enabled Empathic Agents". EUMAS. 2018.
  *   **Kampik**, Larsen, Bellika. "Internet-based remote consultations-general practitioner experience and attitudes in Norway and Germany". MIE. 2015.
  
### Formally Published Workshop Papers or Post-Proceedings Book Chapters
  *   Cyras, **Kampik**, Weng. "Dispute Trees as Explanations in Quantitative (Bipolar) Argumentation". ArgXAI. 2022.
  *   **Kampik**, Najjar. "Integrating Multi-agent Simulations into Enterprise Application Landscapes". PAAMS/BCT4MAS. 2019.
  *   **Kampik**, Nieves, Lindgren. "Explaining Sympathetic Actions of Rational Agents". EXTRAAMAS 2019.
  *   **Kampik**, Nieves. "JS-son - A Lean, Extensible JavaScript Agent Programming Library". EMAS. 2019. 
  *   **Kampik**, Najjar, Calvaresi. "MAS-Aided Approval for Bypassing Decentralized Processes: an Architecture". WI/BCT4MAS. 2018.
  *   **Kampik**, Nieves, Lindgren. "Coercion and deception in persuasive technologies". 20th International Trust Workshop. Stockholm, 2018.
  *   **Kampik**, Nieves, Lindgren. "Empathic Autonomous Agents". EMAS. 2018.
  
### Edited Books or Proceedings
  * Cyras, **Kampik**, Cocarascu, Rago. "Proceedings of the 1st International Workshop on Argumentation for eXplainable AI (ArgXai)". 2022.
  
  
### Demonstration (Short) Papers
  *   Kurz, Santelmann, Großmann, **Kampik**, Pufahl, Weber. "HITL-AB-BPM: Business Process Improvement with
  AB Testing and Human-in-the-Loop". BPM (Demo and Resources Track). 2022.
  *   **Kampik**, Gabbay. "Towards DiArg: An Argumentation-based Dialogue Reasoning Engine". SAFA. 2020.
  *   Amaral, **Kampik**, Cranefield. "A Framework for Collaborative and Interactive Agent-oriented Developer Operations". AAMAS 2020.
  *   **Kampik**, Gomez, Ciortea, Mayer. "Autonomous Agents on the Edge of Things". AAMAS. 2021.
  *   Mualla, **Kampik**, Tchappi, Najjar, Galland, Nicolle. "Explainable Agents as Static Web Pages: UAV Simulation Example". EXTRAAMAS. 2020.
  *   Amaral, Hübner, **Kampik**. "Towards Jacamo-rest: A Resource-Oriented Abstraction for Managing Multi-Agent Systems". WESAAC. 2020. Best Post-Graduate Student Paper.
  
### Reports and Report Chapters
  *   Co-author of several chapters of the Dagstuhl Seminar Report on "Autonomous Agents on the Web". 2021.
  *   Mascardi, ..., **Kampik** et al. "Engineering Multi-Agent Systems: State of Affairs and the Road Ahead". ACM SIGSOFT Software Engineering Notes. 2019.
  
## Erdős Number
  3: Kampik, Gabbay -> Gabbay, Shelah -> Shelah, Erdős
  
## Awards
  * Best Program Committee Member Award, AAMAS 2022
  * Best Post-Graduate Student Paper Award \w Cleber Amaral and Jomi Fred Hübner, WESAAC 2020
  
## Social Media
  * [GitHub](https://github.com/TimKam/)
  * [StackOverflow](https://stackoverflow.com/users/3467824/timotheus-kampik)
  * [Twitter](https://twitter.com/Ti_Kam)
  * [ResearchGate](https://www.researchgate.net/profile/Timotheus_Kampik)
  * [Google Scholar](https://scholar.google.se/citations?user=F8Z9QywAAAAJ)
  
## Funding
Much of my research has been funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP), which is--in turn--funded by the Knut and Alice Wallenberg Foundation.
Research that I conduct and disseminate as part of my industry role is funded by SAP.
Opinions are my own.