home.social

#verifikation — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #verifikation, aggregated by home.social.

fetched live
  1. Wie lassen sich digitale Militärgüter verlässlich verifizieren? Dass dies nicht nur politisch schwer umsetzbar ist, erläutert Niklas Schörnig im @zevedi Verantwortungsblog.
    zevedi.de/ruestungskontrolle-f

    #verifikation #verification #KI #AI #armscontrol

  2. Wie lassen sich digitale Militärgüter verlässlich verifizieren? Dass dies nicht nur politisch schwer umsetzbar ist, erläutert Niklas Schörnig im @zevedi Verantwortungsblog.
    zevedi.de/ruestungskontrolle-f

    #verifikation #verification #KI #AI #armscontrol

  3. Wie lassen sich digitale Militärgüter verlässlich verifizieren? Dass dies nicht nur politisch schwer umsetzbar ist, erläutert Niklas Schörnig im @zevedi Verantwortungsblog.
    zevedi.de/ruestungskontrolle-f

    #verifikation #verification #KI #AI #armscontrol

  4. Wie lassen sich digitale Militärgüter verlässlich verifizieren? Dass dies nicht nur politisch schwer umsetzbar ist, erläutert Niklas Schörnig im @zevedi Verantwortungsblog.
    zevedi.de/ruestungskontrolle-f

    #verifikation #verification #KI #AI #armscontrol

  5. Wie lassen sich digitale Militärgüter verlässlich verifizieren? Dass dies nicht nur politisch schwer umsetzbar ist, erläutert Niklas Schörnig im @zevedi Verantwortungsblog.
    zevedi.de/ruestungskontrolle-f

    #verifikation #verification #KI #AI #armscontrol

  6. RE: sueden.social/@virbonus/116968

    Hat irgend jemensch eine Ahnung, wieso es so viele umständliche und untaugliche Identifizierungsverfahren bei Banken, Versicherungen, Krankenkassen etc. gibt, aber kaum eine Institution den e-Perso nutzt?

    #Banken #Sicherheit #Verifikation #Identifikation #ePerso #OpSec

  7. RE: sueden.social/@virbonus/116968

    Hat irgend jemensch eine Ahnung, wieso es so viele umständliche und untaugliche Identifizierungsverfahren bei Banken, Versicherungen, Krankenkassen etc. gibt, aber kaum eine Institution den e-Perso nutzt?

    #Banken #Sicherheit #Verifikation #Identifikation #ePerso #OpSec

  8. RE: sueden.social/@virbonus/116968

    Hat irgend jemensch eine Ahnung, wieso es so viele umständliche und untaugliche Identifizierungsverfahren bei Banken, Versicherungen, Krankenkassen etc. gibt, aber kaum eine Institution den e-Perso nutzt?

    #Banken #Sicherheit #Verifikation #Identifikation #ePerso #OpSec

  9. RE: sueden.social/@virbonus/116968

    Hat irgend jemensch eine Ahnung, wieso es so viele umständliche und untaugliche Identifizierungsverfahren bei Banken, Versicherungen, Krankenkassen etc. gibt, aber kaum eine Institution den e-Perso nutzt?

    #Banken #Sicherheit #Verifikation #Identifikation #ePerso #OpSec

  10. RE: sueden.social/@virbonus/116968

    Hat irgend jemensch eine Ahnung, wieso es so viele umständliche und untaugliche Identifizierungsverfahren bei Banken, Versicherungen, Krankenkassen etc. gibt, aber kaum eine Institution den e-Perso nutzt?

    #Banken #Sicherheit #Verifikation #Identifikation #ePerso #OpSec

  11. Nuklearwaffen im All sind verboten & doch besteht der Verdacht, dass Russland genau das umgehen will. Wie eine neue Technologie zur Verifikation beitragen könnte, erläutert Sarah McKee im @riffreporter. (paywall)

    riffreporter.de/de/wissen/dete

    #ASAT #satellite #verifikation #weltraum #space #nuclear

  12. Nuklearwaffen im All sind verboten & doch besteht der Verdacht, dass Russland genau das umgehen will. Wie eine neue Technologie zur Verifikation beitragen könnte, erläutert Sarah McKee im @riffreporter. (paywall)

    riffreporter.de/de/wissen/dete

    #ASAT #satellite #verifikation #weltraum #space #nuclear

  13. Nuklearwaffen im All sind verboten & doch besteht der Verdacht, dass Russland genau das umgehen will. Wie eine neue Technologie zur Verifikation beitragen könnte, erläutert Sarah McKee im @riffreporter. (paywall)

    riffreporter.de/de/wissen/dete

    #ASAT #satellite #verifikation #weltraum #space #nuclear

  14. Nuklearwaffen im All sind verboten & doch besteht der Verdacht, dass Russland genau das umgehen will. Wie eine neue Technologie zur Verifikation beitragen könnte, erläutert Sarah McKee im @riffreporter. (paywall)

    riffreporter.de/de/wissen/dete

    #ASAT #satellite #verifikation #weltraum #space #nuclear

  15. Nuklearwaffen im All sind verboten & doch besteht der Verdacht, dass Russland genau das umgehen will. Wie eine neue Technologie zur Verifikation beitragen könnte, erläutert Sarah McKee im @riffreporter. (paywall)

    riffreporter.de/de/wissen/dete

    #ASAT #satellite #verifikation #weltraum #space #nuclear

  16. Im Gegensatz zu Abkommen über Atom- & Chemiewaffen fehlt dem Biowaffen-Übereinkommen der UN ein Verifikationsmechanismus. Warum dieser mit fortschreitender Technologisierung aber wichtiger denn je wäre, erläutert Una Jakob im @Tagesspiegel.

    tagesspiegel.de/wissen/biowaff

    #Biowaffen #Verifikation #BWÜ #Verification #KI #AI

  17. Im Gegensatz zu Abkommen über Atom- & Chemiewaffen fehlt dem Biowaffen-Übereinkommen der UN ein Verifikationsmechanismus. Warum dieser mit fortschreitender Technologisierung aber wichtiger denn je wäre, erläutert Una Jakob im @Tagesspiegel.

    tagesspiegel.de/wissen/biowaff

    #Biowaffen #Verifikation #BWÜ #Verification #KI #AI

  18. Im Gegensatz zu Abkommen über Atom- & Chemiewaffen fehlt dem Biowaffen-Übereinkommen der UN ein Verifikationsmechanismus. Warum dieser mit fortschreitender Technologisierung aber wichtiger denn je wäre, erläutert Una Jakob im @Tagesspiegel.

    tagesspiegel.de/wissen/biowaff

    #Biowaffen #Verifikation #BWÜ #Verification #KI #AI

  19. Im Gegensatz zu Abkommen über Atom- & Chemiewaffen fehlt dem Biowaffen-Übereinkommen der UN ein Verifikationsmechanismus. Warum dieser mit fortschreitender Technologisierung aber wichtiger denn je wäre, erläutert Una Jakob im @Tagesspiegel.

    tagesspiegel.de/wissen/biowaff

    #Biowaffen #Verifikation #BWÜ #Verification #KI #AI

  20. Im Rahmen des NFDI4Earth Incubators hat Yu Feng das Projekt „PhenoMapping“ vorgestellt. Dabei geht es um eine visuelle Plattform zur Erschließung, #Visualisierung und #Verifikation historischer phänologischer Daten aus Archivquellen. Am Beispiel bayerischer Daten aus den Jahren 1855/56 konnte gezeigt werden, wie solche historischen Beobachtungen für Forschung zu #Klimawandel, #Biodiversität und #EarthSystemScience besser nutzbar gemacht werden können.
    @nfdi4earth
    nfdi4earth.de/?view=article&am
    #mainz

  21. Im Rahmen des NFDI4Earth Incubators hat Yu Feng das Projekt „PhenoMapping“ vorgestellt. Dabei geht es um eine visuelle Plattform zur Erschließung, #Visualisierung und #Verifikation historischer phänologischer Daten aus Archivquellen. Am Beispiel bayerischer Daten aus den Jahren 1855/56 konnte gezeigt werden, wie solche historischen Beobachtungen für Forschung zu #Klimawandel, #Biodiversität und #EarthSystemScience besser nutzbar gemacht werden können.
    @nfdi4earth
    nfdi4earth.de/?view=article&am
    #mainz

  22. Im Rahmen des NFDI4Earth Incubators hat Yu Feng das Projekt „PhenoMapping“ vorgestellt. Dabei geht es um eine visuelle Plattform zur Erschließung, #Visualisierung und #Verifikation historischer phänologischer Daten aus Archivquellen. Am Beispiel bayerischer Daten aus den Jahren 1855/56 konnte gezeigt werden, wie solche historischen Beobachtungen für Forschung zu #Klimawandel, #Biodiversität und #EarthSystemScience besser nutzbar gemacht werden können.
    @nfdi4earth
    nfdi4earth.de/?view=article&am
    #mainz

  23. Im Rahmen des NFDI4Earth Incubators hat Yu Feng das Projekt „PhenoMapping“ vorgestellt. Dabei geht es um eine visuelle Plattform zur Erschließung, #Visualisierung und #Verifikation historischer phänologischer Daten aus Archivquellen. Am Beispiel bayerischer Daten aus den Jahren 1855/56 konnte gezeigt werden, wie solche historischen Beobachtungen für Forschung zu #Klimawandel, #Biodiversität und #EarthSystemScience besser nutzbar gemacht werden können.
    @nfdi4earth
    nfdi4earth.de/?view=article&am
    #mainz

  24. Schließung des Android-Systems hat erste Folgen

    Einige Entwickler von Android-Apps berichten, dass sie ihre Apps nicht mehr bei Google registrieren können, um sich zu verifizieren, weil andere es bereits für sie getan haben.

    Soweit zum Thema „wir wollen es dadurch sicherer machen“. Wenn Google DAS unter Verifizierung versteht, machen sie es eher schlechter für alle.

    Google hat den Fehler in diesem Fall wohl bereits behoben, aber wenn das System bisher ein komplettes Kraut- und Rüben-Dasein führte, wird das wohl noch sehr lustig werden.

    🔗

    #shortpost #blogpost #blog #Google #Android #Verifikation #Fail

  25. Schließung des Android-Systems hat erste Folgen

    Einige Entwickler von Android-Apps berichten, dass sie ihre Apps nicht mehr bei Google registrieren können, um sich zu verifizieren, weil andere es bereits für sie getan haben.

    Soweit zum Thema „wir wollen es dadurch sicherer machen“. Wenn Google DAS unter Verifizierung versteht, machen sie es eher schlechter für alle.

    Google hat den Fehler in diesem Fall wohl bereits behoben, aber wenn das System bisher ein komplettes Kraut- und Rüben-Dasein führte, wird das wohl noch sehr lustig werden.

    🔗

    #shortpost #blogpost #blog #Google #Android #Verifikation #Fail

  26. Schließung des Android-Systems hat erste Folgen

    Einige Entwickler von Android-Apps berichten, dass sie ihre Apps nicht mehr bei Google registrieren können, um sich zu verifizieren, weil andere es bereits für sie getan haben.

    Soweit zum Thema „wir wollen es dadurch sicherer machen“. Wenn Google DAS unter Verifizierung versteht, machen sie es eher schlechter für alle.

    Google hat den Fehler in diesem Fall wohl bereits behoben, aber wenn das System bisher ein komplettes Kraut- und Rüben-Dasein führte, wird das wohl noch sehr lustig werden.

    🔗

    #shortpost #blogpost #blog #Google #Android #Verifikation #Fail

  27. Schließung des Android-Systems hat erste Folgen

    Einige Entwickler von Android-Apps berichten, dass sie ihre Apps nicht mehr bei Google registrieren können, um sich zu verifizieren, weil andere es bereits für sie getan haben.

    Soweit zum Thema „wir wollen es dadurch sicherer machen“. Wenn Google DAS unter Verifizierung versteht, machen sie es eher schlechter für alle.

    Google hat den Fehler in diesem Fall wohl bereits behoben, aber wenn das System bisher ein komplettes Kraut- und Rüben-Dasein führte, wird das wohl noch sehr lustig werden.

    🔗

    #shortpost #blogpost #blog #Google #Android #Verifikation #Fail

  28. Schließung des Android-Systems hat erste Folgen

    Einige Entwickler von Android-Apps berichten, dass sie ihre Apps nicht mehr bei Google registrieren können, um sich zu verifizieren, weil andere es bereits für sie getan haben.

    Soweit zum Thema „wir wollen es dadurch sicherer machen“. Wenn Google DAS unter Verifizierung versteht, machen sie es eher schlechter für alle.

    Google hat den Fehler in diesem Fall wohl bereits behoben, aber wenn das System bisher ein komplettes Kraut- und Rüben-Dasein führte, wird das wohl noch sehr lustig werden.

    🔗

    #shortpost #blogpost #blog #Google #Android #Verifikation #Fail

  29. Spiegel-Redaktion entfernt mutmaßlich KI-manipulierte Fotos aus veröffentlichten Iran-Artikeln. Externes Gutachten stützt Verdacht der Bearbeitung. Quelle war die Bildagentur SalamPix, die zuerst in den Niederlanden in Verdacht geriet. spiegel.de/backstage/medien-ma #verifikation

  30. Spiegel-Redaktion entfernt mutmaßlich KI-manipulierte Fotos aus veröffentlichten Iran-Artikeln. Externes Gutachten stützt Verdacht der Bearbeitung. Quelle war die Bildagentur SalamPix, die zuerst in den Niederlanden in Verdacht geriet. spiegel.de/backstage/medien-ma #verifikation

  31. Spiegel-Redaktion entfernt mutmaßlich KI-manipulierte Fotos aus veröffentlichten Iran-Artikeln. Externes Gutachten stützt Verdacht der Bearbeitung. Quelle war die Bildagentur SalamPix, die zuerst in den Niederlanden in Verdacht geriet. spiegel.de/backstage/medien-ma #verifikation

  32. Spiegel-Redaktion entfernt mutmaßlich KI-manipulierte Fotos aus veröffentlichten Iran-Artikeln. Externes Gutachten stützt Verdacht der Bearbeitung. Quelle war die Bildagentur SalamPix, die zuerst in den Niederlanden in Verdacht geriet. spiegel.de/backstage/medien-ma #verifikation

  33. Spiegel-Redaktion entfernt mutmaßlich KI-manipulierte Fotos aus veröffentlichten Iran-Artikeln. Externes Gutachten stützt Verdacht der Bearbeitung. Quelle war die Bildagentur SalamPix, die zuerst in den Niederlanden in Verdacht geriet. spiegel.de/backstage/medien-ma #verifikation

  34. 𝗨𝗽𝗱𝗮𝘁𝗲: Problem ist gelöst, zur Verifikation ist https erforderlich! Danke!
    - - -
    Hello #askfedi
    Ich versuche, die #Verifikation zwischen meiner #Webseite und meiner Instanz #digitalcourage.social hinzubekommen und kriege es nicht hin. 😔

    Ich habe 1. den entsprechenden #Link auf meine Website eingebunden, 2. zudem im den Head geschrieben, 3. sogar das #Wordpress #Plugin "Mastodon Verification" aktiviert und 4. meine URL im Profil bei Verifikation unter "Webseiten, die auf dich verlinken dürfen" eingetragen.

    Muss ich sonst irgendwas beachten? Muss meine Website dafür z.B. #https haben?

    Freue mich über #Tipps und Hinweise auf Schritt für Schritt #Anleitungen für Dummys 😊

  35. 𝗨𝗽𝗱𝗮𝘁𝗲: Problem ist gelöst, zur Verifikation ist https erforderlich! Danke!
    - - -
    Hello #askfedi
    Ich versuche, die #Verifikation zwischen meiner #Webseite und meiner Instanz #digitalcourage.social hinzubekommen und kriege es nicht hin. 😔

    Ich habe 1. den entsprechenden #Link auf meine Website eingebunden, 2. zudem im den Head geschrieben, 3. sogar das #Wordpress #Plugin "Mastodon Verification" aktiviert und 4. meine URL im Profil bei Verifikation unter "Webseiten, die auf dich verlinken dürfen" eingetragen.

    Muss ich sonst irgendwas beachten? Muss meine Website dafür z.B. #https haben?

    Freue mich über #Tipps und Hinweise auf Schritt für Schritt #Anleitungen für Dummys 😊

  36. 𝗨𝗽𝗱𝗮𝘁𝗲: Problem ist gelöst, zur Verifikation ist https erforderlich! Danke!
    - - -
    Hello #askfedi
    Ich versuche, die #Verifikation zwischen meiner #Webseite und meiner Instanz #digitalcourage.social hinzubekommen und kriege es nicht hin. 😔

    Ich habe 1. den entsprechenden #Link auf meine Website eingebunden, 2. zudem im den Head geschrieben, 3. sogar das #Wordpress #Plugin "Mastodon Verification" aktiviert und 4. meine URL im Profil bei Verifikation unter "Webseiten, die auf dich verlinken dürfen" eingetragen.

    Muss ich sonst irgendwas beachten? Muss meine Website dafür z.B. #https haben?

    Freue mich über #Tipps und Hinweise auf Schritt für Schritt #Anleitungen für Dummys 😊

  37. 𝗨𝗽𝗱𝗮𝘁𝗲: Problem ist gelöst, zur Verifikation ist https erforderlich! Danke!
    - - -
    Hello #askfedi
    Ich versuche, die #Verifikation zwischen meiner #Webseite und meiner Instanz #digitalcourage.social hinzubekommen und kriege es nicht hin. 😔

    Ich habe 1. den entsprechenden #Link auf meine Website eingebunden, 2. zudem im den Head geschrieben, 3. sogar das #Wordpress #Plugin "Mastodon Verification" aktiviert und 4. meine URL im Profil bei Verifikation unter "Webseiten, die auf dich verlinken dürfen" eingetragen.

    Muss ich sonst irgendwas beachten? Muss meine Website dafür z.B. #https haben?

    Freue mich über #Tipps und Hinweise auf Schritt für Schritt #Anleitungen für Dummys 😊

  38. 𝗨𝗽𝗱𝗮𝘁𝗲: Problem ist gelöst, zur Verifikation ist https erforderlich! Danke!
    - - -
    Hello #askfedi
    Ich versuche, die #Verifikation zwischen meiner #Webseite und meiner Instanz #digitalcourage.social hinzubekommen und kriege es nicht hin. 😔

    Ich habe 1. den entsprechenden #Link auf meine Website eingebunden, 2. zudem im den Head geschrieben, 3. sogar das #Wordpress #Plugin "Mastodon Verification" aktiviert und 4. meine URL im Profil bei Verifikation unter "Webseiten, die auf dich verlinken dürfen" eingetragen.

    Muss ich sonst irgendwas beachten? Muss meine Website dafür z.B. #https haben?

    Freue mich über #Tipps und Hinweise auf Schritt für Schritt #Anleitungen für Dummys 😊

  39. Google rudert ein Stück beim "Sideloading" zurück

    Googles Ansinnen, nur verifizierte Apps zum "Sideloading" - aka Installation von Apps - zuzulassen, schlug heftige Wellen und löste einen Proteststurm (Keep Android Open!) aus. Inzwischen schwächte Google die ursprünglichen Pläne ab und möchte das Installieren nicht verifizierter Apps für PoweUser:innen mit einigen "Sicherheitsvorkehrungen" ermöglichen.
    Mehr: maniabel.work/archiv/225

    #Google #Android #Sideloading #Verifikation #KeepAndroidOpen #infosec #infosecnews

  40. Google rudert ein Stück beim "Sideloading" zurück

    Googles Ansinnen, nur verifizierte Apps zum "Sideloading" - aka Installation von Apps - zuzulassen, schlug heftige Wellen und löste einen Proteststurm (Keep Android Open!) aus. Inzwischen schwächte Google die ursprünglichen Pläne ab und möchte das Installieren nicht verifizierter Apps für PoweUser:innen mit einigen "Sicherheitsvorkehrungen" ermöglichen.
    Mehr: maniabel.work/archiv/225

    #Google #Android #Sideloading #Verifikation #KeepAndroidOpen #infosec #infosecnews

  41. Google rudert ein Stück beim "Sideloading" zurück

    Googles Ansinnen, nur verifizierte Apps zum "Sideloading" - aka Installation von Apps - zuzulassen, schlug heftige Wellen und löste einen Proteststurm (Keep Android Open!) aus. Inzwischen schwächte Google die ursprünglichen Pläne ab und möchte das Installieren nicht verifizierter Apps für PoweUser:innen mit einigen "Sicherheitsvorkehrungen" ermöglichen.
    Mehr: maniabel.work/archiv/225

    #Google #Android #Sideloading #Verifikation #KeepAndroidOpen #infosec #infosecnews

  42. Kann mir jemand sagen, was es mit Account-#Verifikation hier im Fediverse auf sich hat.

    Mich schrieb nen #bot an.

    Komisch nur, dass das Ding was mit #mastadon heißt.

    Ich will ungern den Link klicken, aber auch nicht gesperrt werden.

  43. Kann mir jemand sagen, was es mit Account-#Verifikation hier im Fediverse auf sich hat.

    Mich schrieb nen #bot an.

    Komisch nur, dass das Ding was mit #mastadon heißt.

    Ich will ungern den Link klicken, aber auch nicht gesperrt werden.

  44. Kann mir jemand sagen, was es mit Account-#Verifikation hier im Fediverse auf sich hat.

    Mich schrieb nen #bot an.

    Komisch nur, dass das Ding was mit #mastadon heißt.

    Ich will ungern den Link klicken, aber auch nicht gesperrt werden.

  45. Kann mir jemand sagen, was es mit Account-#Verifikation hier im Fediverse auf sich hat.

    Mich schrieb nen #bot an.

    Komisch nur, dass das Ding was mit #mastadon heißt.

    Ich will ungern den Link klicken, aber auch nicht gesperrt werden.

  46. #Australien hat gestern ein neues #Socialmedia-#Gesetz auf den Weg gebracht, das es Jugendlichen unter 16 Jahren künftig verbieten soll, soziale Netzwerke wie #TikTok, #Facebook oder #Instagram zu nutzen - so sinnvoll der Vorstoß inhaltlich zunächst auch scheinen mag, ist die Crux definitiv das damit verbundene Verfahren der Online-#Verifikation, denn hierzu sollen womöglich auch #Biometriedaten genutzt werden. Für TRT World habe ich eine kurze Einschätzung abgegeben: intrapol.org/2024/11/22/austra

  47. #Australien hat gestern ein neues #Socialmedia-#Gesetz auf den Weg gebracht, das es Jugendlichen unter 16 Jahren künftig verbieten soll, soziale Netzwerke wie #TikTok, #Facebook oder #Instagram zu nutzen - so sinnvoll der Vorstoß inhaltlich zunächst auch scheinen mag, ist die Crux definitiv das damit verbundene Verfahren der Online-#Verifikation, denn hierzu sollen womöglich auch #Biometriedaten genutzt werden. Für TRT World habe ich eine kurze Einschätzung abgegeben: intrapol.org/2024/11/22/austra

  48. #Australien hat gestern ein neues #Socialmedia-#Gesetz auf den Weg gebracht, das es Jugendlichen unter 16 Jahren künftig verbieten soll, soziale Netzwerke wie #TikTok, #Facebook oder #Instagram zu nutzen - so sinnvoll der Vorstoß inhaltlich zunächst auch scheinen mag, ist die Crux definitiv das damit verbundene Verfahren der Online-#Verifikation, denn hierzu sollen womöglich auch #Biometriedaten genutzt werden. Für TRT World habe ich eine kurze Einschätzung abgegeben: intrapol.org/2024/11/22/austra

  49. #Australien hat gestern ein neues #Socialmedia-#Gesetz auf den Weg gebracht, das es Jugendlichen unter 16 Jahren künftig verbieten soll, soziale Netzwerke wie #TikTok, #Facebook oder #Instagram zu nutzen - so sinnvoll der Vorstoß inhaltlich zunächst auch scheinen mag, ist die Crux definitiv das damit verbundene Verfahren der Online-#Verifikation, denn hierzu sollen womöglich auch #Biometriedaten genutzt werden. Für TRT World habe ich eine kurze Einschätzung abgegeben: intrapol.org/2024/11/22/austra

  50. #Australien hat gestern ein neues #Socialmedia-#Gesetz auf den Weg gebracht, das es Jugendlichen unter 16 Jahren künftig verbieten soll, soziale Netzwerke wie #TikTok, #Facebook oder #Instagram zu nutzen - so sinnvoll der Vorstoß inhaltlich zunächst auch scheinen mag, ist die Crux definitiv das damit verbundene Verfahren der Online-#Verifikation, denn hierzu sollen womöglich auch #Biometriedaten genutzt werden. Für TRT World habe ich eine kurze Einschätzung abgegeben: intrapol.org/2024/11/22/austra

  51. @informatik @KIT_Karlsruhe
    Es ist eine große Ehre für mich, den Dissertationspreis der Gesellschaft für Informatik zu erhalten. Meine Dissertation verbessert die Skalierbarkeit von #SATSolving in verteilten Rechenumgebungen wie Supercomputern (#HPC) und #Clouds. Mit diesen Fortschritten können wir viele praxisrelevante Probleme logischer Natur (z.B. #Verifikation, #Kryptographie, #SymbolicAI, Schaltkreisdesign) wesentlich schneller lösen als zuvor.