Veneris Andreas

Assistant Professor

Diploma 1991: University of Patras, Department of Computer Engineering and Informatics

M.Sc. 1992: University of Southern California

Ph.D. 1998: University of Illinois at Urbana-Champaign

Email:

veneris AT aueb gr

WebPage:

Office Hours:

Research Interests:

Digital Systems and Circuits Verification and Synthesis. Boolean Satisfiability Solvers, Algorithms and Data structures.