Abstract
Computer scientists seek to understand what can be automated, but what do we know about automating our own work? Can we outsource our own research questions to computers? In this talk I will discuss this question from the perspective of the theory of distributed computing. I will present not only recent examples of human-computer-collaborations that have resulted in major breakthroughs in our understanding of distributed computing, but I will also explore the fundamental limits of such approaches.
BibTeX - Entry
@InProceedings{suomela:LIPIcs:2021:13488,
author = {Jukka Suomela},
title = {{Can We Automate Our Own Work - or Show That It Is Hard? (Invited Talk)}},
booktitle = {24th International Conference on Principles of Distributed Systems (OPODIS 2020)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-176-4},
ISSN = {1868-8969},
year = {2021},
volume = {184},
editor = {Quentin Bramas and Rotem Oshman and Paolo Romano},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/13488},
URN = {urn:nbn:de:0030-drops-134881},
doi = {10.4230/LIPIcs.OPODIS.2020.3},
annote = {Keywords: Distributed Computing}
}
|
Keywords: |
|
Distributed Computing |
|
Collection: |
|
24th International Conference on Principles of Distributed Systems (OPODIS 2020) |
|
Issue Date: |
|
2021 |
|
Date of publication: |
|
25.01.2021 |
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)