The Magazine of the Austrian Science Fund FWF

Hauptnavigation

  • Menü
    • Projekte
    • Videos
    • Podcasts
    • Unterwegs
    • Im Porträt
    • Interview & Meinung
  • Kultur & Gesellschaft
  • Natur & Technik
  • Biologie & Medizin

Sprachen

  • English

Meta-Navigation

  • Über uns
  • Twitter
  • Vimeo
  • E-Mail schreiben

Schlagwort: Formalverifikation

Projekte

16. Januar 2017

Die Jagd auf Computerfehler mithilfe von Mathematik

Um die Sicherheit von Computerprogrammen und Hardware zu erhöhen, braucht es mathematische Analysemethoden. Dank eines Forscherteams um Krishnendu Chatterjee in einem vom Wissenschaftsfonds FWF finanzierten Projekt werden diese Methoden in Zukunft deutlich schneller sein. „Die Jagd auf Computerfehler mithilfe von Mathematik“ weiterlesen

Services

  • FWF-Kalender
  • Newsletter bestellen
  • News & Presse

Webseite-Informationen

Links

  • scilog
  • Über uns / Kontakt
  • Projekte
  • News & Presse
  • Interview & Meinung
  • Service
  • Unterwegs
  • Impressum
  • Im Porträt
  • Datenschutz
  • Barrierefreiheit

scilog abonnieren

FWF Der Wissenschaftsfonds
Haus der Forschung
Sensengasse 1, 1090 Wien, Österreich
E-Mail: office(at)fwf.ac.at
Telefon: +43-1-505 67 40