Bio

Executive summary, updated 2/2019 - 18 years of experience: research, many publications and PhD on formal verification, model-based testing, computational complexity and algorithm optimization. Lead developer, specialist, architect, open source project founder and maintainer roles at Nokia (2 years, Maemo/MeeGo) and Intel (8 years). Many innovations on various topics from UI concepts, test automation, and automated and remote debugging solutions. - Highlights and associated software skills: o PhD on model-based testing at Tampere University of Technology. Programming research tools on Solaris and Linux using C/C++ and Python. o Superfast, still memory saving application startup framework for Maemo/MeeGo OS at Nokia. Implemented as Qt API extension with C++ on Linux. o The fMBT toolset at Intel, open source since 2011. Automatic test generator. Python APIs and tools for test developers, C/C++ where performance is critical. o Powerful, multiplatform test automation infrastructure, including remote shell to DUTs (even for Windows) and easy-to-debug distributed programming framework. Mostly Python. Android, ChromeOS, Linux, Tizen, Windows. o Many speaks in international conferences and guest lectures in universities. - Hacks (just to mention a few as part of highlights): o Inline C code directly inside Python functions (Cinpy). Enables performance where it is needed. Implemented using Python and TCC. o Automatically debug crashes, Valgrind errors or AddressSanitizer issues even in CI. Implemented using Valgrind, gdb/vgdb and Python on Linux. o Web programming without Javascript (Hot Penguin): bind Python functions directly to HTML events. Very easy way to create GUIs with Python. Implementation is Python that generates Javascript and implements HTTP server directly on top of the socket interface.