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.
SimFS
SimFS is a file system interface developed at the Scalable Parallel Computing Laboratory (SPCL), ETH Zürich that allows balancing of storage and computing resources for large scientific simulations generating petabytes of data. I contributed to this project during my BSc thesis in Computer Science.
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.