Hi, I see that you have made your way to my site, so at least on some level it appears we have already connected. I received my Bachelor of Science and Master of Science degrees in Computer Science, and a Bachelor of Arts degree in Economics from UCR. My research interests are logic and formal verification in computing systems.