Search for person "Andreas Sperber"

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

• Resilience & Sustainability Main
• 62 min
• 2019-12-29
• 1223
• Mike Sperber

All Programming Language Suck? Just Build Your Own! – Language-Oriented Programming with…

• ChaosZone
• 64 min
• 2020-12-27
• 2575
• Mike Sperber

Vertrauen ist gut, Kontrolle ist besser.

Warum vertrauen wir eigentlich Zertifizierungsstellen?

• 56 min
• 2017-05-26
• 301
• Andreas Sperber

How to teach programming to your loved ones

Enabling students over example-driven teaching

• 59 min
• 2018-12-28
• 7706
• Mike Sperber

Growing Up Software Development

From Hacker Culture to the Software of the Future

• 31 min
• 2017-12-28
• 1822
• Mike Sperber

QGIS-Kartografie-Verbesserungen 2019

• Geo OpenStreeetMap
• 23 min
• 2020-03-12
• 233
• Andreas Neumann

Andreas Eschbach – Fireside Chat

Lesung und Hintergrundgespräch

• Fireside Chat main
• 96 min
• 2020-12-29
• 620
• Andreas Eschbach

Warum Audio?

Wie SPIEGEL ONLINE eine Stimme bekam

• 29 min
• 2019-03-23
• 90
• Yasemin Yüksel and Sandra Sperber

Closing Session

• OIO OpenInfrastructureOrbit
• 5 min
• 2019-12-30
• 506
• Andreas Bräu

KADAS Routing Plugin

• Routing und Mobilität Geo
• 26 min
• 2021-06-08
• 20
• Andreas Jobst

Reclaim Your Face | Einführung

• Ethik, Wissenschaft, Kultur & Gesellschaft
• 30 min
• 2021-02-27
• 79
• Andreas Geppert

Visualization of Contributions to Open-Source Projects

Visualizing the Development of Germany's 'Corona-Warn-App'

• FrOSCon meets Science
• 52 min
• 2021-08-21
• 26
• Andreas Schreiber

Statistik der Bauzonenreserven mit QGIS und PostGIS

• Daten und Datenprozessierung Geo
• 24 min
• 2021-06-09
• 72
• Andreas Neumann

FORCE4Q Plugin - Ableitung wolkenfreier Bildkomposite aus frei verfügbaren Landsat und…

• Rasterdaten und Fernerkundung Geo
• 19 min
• 2021-06-09
• 67
• Andreas Rabe

AfD in der Krise

• 47 min
• 2020-08-21
• 159
• Andreas Speit

Building the 400G Internet Trends, Technologies, and the Road to 800G+

• 68 min
• 2020-11-09
• 75
• Andreas Bechtolsheim

Pipe Food

• 6 min
• 2019-05-26
• 40
• Victor and Andreas

The 35C3 CTF Nokia phone challenge

• 75 min
• 2019-04-25
• 866
• Andreas Galauner

EDRi: 15+ Jahre digitale Grundrechte in der EU

• 53 min
• 2019-10-24
• 15
• Andreas Krisch

A farewell to soul-crushing code

Towards correct software that enriches our lives

• 60 min
• 2018-12-28
• 2074
• Mike Sperber and Nicole Rauch

Hacking (with) a TPM

Don't ask what you can do for TPMs, Ask what TPMs can do…

• Security Main
• 37 min
• 2019-12-29
• 2679
• Andreas Fuchs

Quantum Computing: Are we there yet?

An introduction to quantum computing and a review of the…

• Science Main
• 61 min
• 2019-12-29
• 2225
• Andreas Dewes

Visualisierung und Analyse von Satellitenbildern mit der EnMAP-Box

• Geo OpenStreeetMap
• 55 min
• 2020-03-12
• 96
• Andreas Rabe

Digitale Kompetenzen vermitteln - Videobotschaft

• 12 min
• 2019-10-21
• 75
• Andreas Eschbach

State of the QGIS project

• General
• 24 min
• 2019-08-28
• 93
• Andreas Neumann