I currently study electronic engineering. My areas of interest include the overlap between electronics, physics and computer science; specifically Formal Hardware Verification.
I specialize on GIS, and functional programming, and Linux kernel development.