Merlin Humml
Adresse:
FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.125
E-Mail: merlin.humml[at]fau.de
Telefon: 09131/85-64057
ORCiD: 0000-0002-2251-8519
keybase: mgttlinger
matrix: mgttlinger
Research
Working on the RANT/RAND DFG-Project from the RATIO SPP(RANT) RATIO SPP(RAND) and as an associated scientist in the Cyberkriminalität und Forensische Informatik DFG-Graduiertenkolleg GRK 2475.
Publications
- Bachelor thesis: Sadly my bachelor thesis has to be kept a secret due to non-disclosure agreements but the topic was “Scene Reconstruction by Means of a PTZ-Camera” and the patent below was a result of it.
- Master thesis including sources and presentation: Göttlinger, M. (2018). Formalising Algorithmic Correspondence for Modal Languages
2023
- , , , :
Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction
Digital Forensics Research Conference Europe (DFRWS EU 2023) (Bonn, 21. March 2023 - 24. March 2023)
In: Edita Bajramovic and Ricardo J. Rodríguez (ed.): Proceedings of the Digital Forensics Research Conference Europe (DFRWS EU) 2023
Open Access: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
URL: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
2022
- , , , , :
Argumentation Schemes for Blockchain Deanonymization
Sixteenth International Workshop on Juris-informatics (JURISIN 2022) (Kyoto International Conference Center, Kyoto, Japan, 13. June 2022 - 14. June 2022)
2021
- , , , , :
Argument parsing via corpus queries
In: it - Information Technology 63 (2021), p. 31-44
ISSN: 1611-2776
DOI: 10.1515/itit-2020-0051 - :
Informal Conversations in Formal Logic
Joint Workshop of the German Research Training Groups in Computer Science (, 31. May 2021 - 1. June 2021)
DOI: 10.25593/opus4-fau-16426
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/16426 - , , :
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies
29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (University of Ljubljana, 25. January 2021 - 28. January 2021)
In: Christel Baier and Jean Goubault-Larrecq (ed.): Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany: 2021
DOI: 10.4230/LIPIcs.CSL.2021.26
2020
- , , , , :
Reconstructing Arguments from Noisy Text
In: Datenbank-Spektrum 20 (2020), p. 123-129
ISSN: 1618-2162
DOI: 10.1007/s13222-020-00342-y
URL: https://link.springer.com/article/10.1007/s13222-020-00342-y
2017
- , , , , , :
Automatic verification of application-tailored OSEK kernels
In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 2017
DOI: 10.23919/FMCAD.2017.8102260
Activities
- Text Mining and Generation (TMG)
(Organisation of a congress / conference)
19. September 2022 - 19. September 2022, URL: https://recap.uni-trier.de/2022-tmg-workshop/ - Representation of Social Argumentation
(Speech / Talk)
1. April 2020, Event: The Wisdom and Madness of Crowds: Argumentation, Information Exchange and Social Interaction, ArgInfoexchange 2020, University of Amsterdam, URL: https://vimeo.com/448066227
Other