Der Vortrag zeigt anhand von Beispielen die zwei zentralen Komponenten von SQLAlchemy: Object-Relational-Mapper und Core.

SQLAlchemy versucht mit zwei Abstraktionen das immer wieder auftretende Problem zu lösen: Wie bildet man eine Relationale Datenbank in Objekte ab und vice-versa. Der “Object-relational impedance mismatch” wird so elegant umschifft, wie es nur mit Python möglich ist.

Subtitled "A non-introduction to my master thesis"

From May 2015 to May 2016 I am working on my master thesis. As part of that project I am writing software to verify whether a certain state can occur within a computation. This is also the basic goal of Formal Verification; a research area where source code is verified for correctness.

The subtitle uses the word "non-introduction" because my master thesis itself is about differential cryptanalysis, which I won't cover in the talk. I will only cover practical parts of my master thesis which will give us a basic understanding of primitives in Formal Verification.

Let's be more specific: In this talk I will discuss a few python libraries for SAT solving (I wrote) and finally introduce a package modeling bitvectors which can be used to describe computed values symbolically.

Language: German or English (on demand)