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




veneris AT aueb gr

Office Hours: 


Research Interests: 

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