Personal Information
Organization / Workplace
Prague, Czech Republic Czech Republic
Occupation
Senior Research Engineer
Industry
Technology / Software / Internet
Website
d3s.mff.cuni.cz/~decky/
About
Senior Research Engineer at Huawei Technologies, Central Software Institute, Munich. I am interested in microkernel multiserver operating systems, system-level software design and related areas.
Tags
microkernel
operating systems
helenos microkernel os
co-design
software
hardware
performance
computer architecture
helenos
risc-v
data-centric computing
near-data processing
memory barrier
sel4
mitls
formal methods
functional programming
microkernels
capabilities
ipc
multikernel
multiserver
unikernel
tracing
instrumentation
debugging
profiling
observability
post-mortem analysis
helenos risc-v microkernel os isa
os microkernel monolithic helenos
helenos microkernel os rcu
See more
- Presentations
- Documents
- Infographics