Embedded systems & virtualization technology specialist for mobile and automotive in-vehicle infotainment (IVI) platforms. Design and development of AGL/Android/Linux system software and security policies of SE Android/Linux. Fast software integration technique for embedded systems and platforms.
My public GPG key: obtainable via the command: `gpg --recv-keys 63AEE493`
Wrote, ported, validated, and optimized device drivers (serial, display, media, etc.) for embedded OSs (Linux, DNA-OS, etc.) on ARM, MIPS, and IA x86 processors
Developed a methodology for the automatic generation of embedded device drivers and implemented it in a model-based software process
Created a POSIX semaphores library in C for a lightweight embedded operating system and ported a multi-threaded H.264 video decoding application to that OS
Performed benchmarking of Linux display drivers on an ARM Cortex-A9 MPCore-based emulation platform
Set up an environment to validate Linux device drivers using symbolic execution
Translated a test bench of an Ethernet MAC IP core from Verilog to SystemC
Designed and implemented parts of a new environment for automated co-simulation of device drivers and hardware devices
Reviewed and improved SystemC models for ARMv7-based embedded platforms and contributed patches to the open-source community
Enriched the IP-XACT language via the description of electronic components and application to generate device drivers