I head the
Institute for System Software
at the Johannes Kepler University Linz. My work focuses on programming language
implementation techniques, compilation, complex concurrent systems, and tooling.
I am personally interested in making interpreters faster, detecting and preventing concurrency bugs at run time, and use modern language runtime systems to provide programmers with better tooling.
For contact details, please see my staff page.
Ü = Übertrag; S = Summe
Ü = a and b
S = a xor b
| a | 0 | 0 | 1 | 1 | 110 |
| b | +0 | +1 | +0 | +1 | +011 |
| 00 | 01 | 01 | 10 | 1001 | |
| ÜS | ÜS | ÜS | ÜS |
| a | b | a and b | a xor b |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 0 |
nand: not (a and b) = not a or not b
nor: not (a or b) = not a and not b