Homepage

Welcome to my private homepage.

It illustrates some of my software projects, publications, and photos.

Runtime Verification with TeSSLa on a CPU/FPGA hybrid system

This is the description of a fully working runtime verification system for ARM CoreSight traces running on a CPU/FPGA hybrid system.

Machine Learning and Natural Language Understanding

Summary description of various projects in these very interesting scientific fields. Are AI systems fit to replace physicians? Building of reliable AI systems.

Miscellaneous publications

Various publications in next-generation sequencing, bioinformatics, pharmacology, statistics, and public health.

Immunohematology and Transfusion Medicine

Publications in molecular immunohematology and clinical transfusion medicine.

Coagulation

Clinical and laboratory studies, in particular about use of low-molecular-weight heparin (LMWH) for patients with renal insufficiency, vitamin K antagonists (VKA), direct Xa inhibitors, and recombinant factor VIIa (rFVIIa).

Biomechanics and Morphometry/Stereology

Publications written while working on my Dr. med. thesis at the Maurice E. Müller Institute for Biomechanics and working in the ER of the Inselspital Bern.