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

Office Hours: 

 

Research Interests: 

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