Software developer with a strong theoretical background in mathematical logic and a practical background in electronics.