Csaba Hruska
csabahruska
I'm a software engineer and I'm keen on doing research and development.
I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
London
Shane McIntosh
smcintosh
Associate Prof. in the Cheriton School of Computer Science at the University of Waterloo.
University of Waterloo Waterloo, Canada
Kristóf Marussy
kris7t
Researcher working in the formal verification of extra-function properties for reconfigurable systems
@ftsrg Budapest, Hungary
Oszkár Semeráth
OszkarSemerath
Budapest University of Technology and Economics, Fault Tolerant Systems Research Group Hungary, H-1117 Budapest, Magyar tudósok körútja 2.