Sprache: Englisch
Charset: utf-8
Description: Assistant Professor at Lancaster University Leipzig. Researching risk-aware verification of probabilistic systems.
Generator: Jekyll v4.2.2
Viewport: width=device-width, initial-scale=1
Die Website enthält laut CLOUDFLARE keine bedenklichen Inhalte und kann sowohl von Minderjährigen als auch in der Arbeit genutzt werden.
Bootstrap ist ein kostenloses und quelloffenes CSS-Framework, das auf die reaktionsschnelle, mobilfreundliche Front-End-Webentwicklung ausgerichtet ist. Es enthält CSS- und JavaScript-basierte Designvorlagen für Typografie, Formulare, Schaltflächen, Navigation und andere Oberflächenkomponenten.
HTTP Strict Transport Security (HSTS) teilt den Browsern mit, dass der Zugriff auf die Website nur über HTTPS erfolgen darf.
Jekyll ist ein Blog-fähiger, statischer Website-Generator für persönliche, Projekt- oder Organisations-Websites.
jQuery ist eine JavaScript-Bibliothek, eine kostenlose Open-Source-Software, die das Traversieren und Manipulieren des HTML-DOM-Baums sowie die Ereignisbehandlung, CSS-Animation und Ajax vereinfacht.
Open Graph ist ein Protokoll, das dazu dient, jede beliebige Webseite in den Social Graph zu integrieren.
Ruby ist eine objektorientierte Open-Source-Programmiersprache.
WEBrick ist eine leichtgewichtige HTTP-Server-Bibliothek in Ruby, die zur Standardbibliothek gehört und hauptsächlich für die lokale Entwicklung und das Testen von Ruby-Webanwendungen verwendet wird.