# Timotheus Kampik
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.
## 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.
Bibliography
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.