Toby Walsh

Toby Walsh mini|Toby Walsh Toby Walsh (* 11. April 1964 in England) ist ein britisch-australischer Informatiker, der auf dem Gebiet Künstliche Intelligenz forscht und publiziert. Schwerpunkte seiner Forschung sind Gruppenentscheidungen, Constraintprogrammierung, und das Erfüllbarkeitsproblem der Aussagenlogik. Seit 2016 ist er ''Scientia Professor of Artificial Intelligence'' an der University of New South Wales in Sydney, Australien. Außerdem arbeitet er an dem Projekt ''Data61'' innerhalb der australischen Forschungsorganisation Commonwealth Scientific and Industrial Research Organisation (CSIRO) mit. Von 2016 bis Anfang 2020 war er Leiter des ''AMPLify Project'' am Institut für Softwaretechnik und Theoretische Informatik der Technische Universität Berlin. Im Juli 2020 erhielt Walsh ein ''Australian Laureate Fellowship'' für ein großangelegtes Forschungsprojekt über das vertrauenswürdige Design von KI-Systemen.

Seit 2017 veröffentlicht er populärwissenschaftliche Bücher über Künstliche Intelligenz, die auch ins Deutsch übersetzt werden. Veröffentlicht in Wikipedia
Treffer 1 - 20 von 25 für Suche 'Walsh, Toby', Suchdauer: 0,64s Treffer weiter einschränken
  1. 1

    Machines Behaving Badly the Morality of AI von Walsh, Toby 1964-

    Veröffentlicht 2022
    Buch
  2. 2

    Difference matching von Basin, David A., Walsh, Toby

    Veröffentlicht 1991
    Buch
  3. 3

    Building abstractions von Bundy, Alan, Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch
  4. 4

    Abstracting into inconsistent spaces (or, the "false proof" problem von Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch
  5. 5
  6. 6

    It's alive wie künstliche Intelligenz unser Leben verändern wird von Walsh, Toby 1964-

    Veröffentlicht 2018
    Buch
  7. 7
  8. 8
  9. 9

    Android dreams the past, present and future of artificial intelligence von Walsh, Toby 1964-

    Veröffentlicht 2017
    Buch
  10. 10

    The SAT phase transition von Gent, Ian P., Walsh, Toby

    Veröffentlicht 1994
    Buch
  11. 11

    The hardest random SAT problems von Gent, Ian P., Walsh, Toby

    Veröffentlicht 1994
    Buch
  12. 12

    Towards an understanding of hill-climbing procedures for SAT von Gent, Ian P., Walsh, Toby

    Veröffentlicht 1993
    Buch
  13. 13

    Easy problems are sometimes hard von Gent, Ian P., Walsh, Toby

    Veröffentlicht 1993
    Buch
  14. 14

    Abstract theorem proving: mapping back von Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch
  15. 15

    Using abstraction von Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch
  16. 16

    A theory of abstraction von Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch
  17. 17

    Machines behaving badly the morality of AI von Walsh, Toby 1964-

    Veröffentlicht 2022
    Buch
  18. 18

    The satisfiability constraint gap von Gent, Ian P., Walsh, Toby

    Veröffentlicht 1994
    Buch
  19. 19

    How not to do it von Gent, Ian P., Walsh, Toby

    Veröffentlicht 1994
    Buch
  20. 20

    Computational phase transitions in real problems von Gent, Ian P., Walsh, Toby

    Veröffentlicht 1994
    Buch