I am a father, semiconductor designer, compiler and tools programmer, manager, and consultant. Lately I've gotten into building startups. I have new IP in automated reasoning, microprocessor architecture, database implementation, media compression, computer security, and compilers and tools, please contact me if you are interested. professional summary