Veneris Andreas

Andreas Veneris is an Assistant Professor at the Department of Informatics, Athens University of Economics and Business (AUEB). His primary affiliation is with the Department of Informatics, where he contributes to both academic and research activities.

Education:

• Diploma in Computer Engineering and Informatics (1991) – University of Patras
• M.Sc. (1992) – University of Southern California
• Ph.D. (1998) – University of Illinois at Urbana-Champaign

Research Interests: Focuses on digital systems and circuits verification/synthesis, with deep expertise in Boolean satisfiability solvers. His work integrates advanced algorithms and data structures to address complex computational challenges in hardware design verification. This research bridges theoretical computer science with practical engineering applications.

Awards: No specific awards or honors mentioned in the provided texts.

Advising & Grants: No documented student advisees or grant information available in the current data. Office located in Antoniadou Wing, 3rd floor, contactable via email and phone 210 8203 153.