Temporal logic in finite-state verification
I'm a 40 years old and working at the college (Environmental Studies).
In my free time I'm trying to teach myself Vietnamese. I've been twicethere and look forward to go there anytime soon. I like to read, preferably on my beloved Kindle. I like to watch Arrested Development and Modern Family as well as documentaries about nature. I love Rugby league football.
Also visit my blog post - gayannrogers.com (click through the following web site)