Dr. Fabio Somenzi is a professor in the Electrical, Computer & Energy Engineering department at the Â鶹Ãâ·Ñ°æÏÂÔØ. His research interests are in the Computer Engineering Research Area in formal verification, model checking, decision procedures, et cetera.
