Walter Schulze
awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt.
Interests: LeanProver, Coq, Brzozowski's derivatives.
Stellenbosch University Stevenage, UK
Kristóf Marussy
kris7t
Researcher working in the formal verification of extra-function properties for reconfigurable systems
@ftsrg Budapest, Hungary
Zvonimir Rakamaric
zvonimir
Associate Professor
School of Computing, University of Utah Salt Lake City
Mondok Milán
mondokm
PhD student at Budapest University of Technology and Economics.
Budapest University of Technology and Economics Hungary
Attila Klenik, PhD
aklenik
Research Fellow @ftsrg; Blockchain Expert @nav-gov-hu
BME/ftsrg & NTCA, Hungary Budapest, Hungary
Zoltan Micskei
micskeiz
Associate professor at BME working on advanced sofware testing.
Budapest University of Technology and Economics Budapest