Andreas Veneris

Andreas Veneris serves as an Assistant Professor in the Department of Informatics at the School of Information Sciences and Technology, Athens University of Economics and Business (AUEB). His academic career is rooted in computer engineering and theoretical computer science, with a focus on digital systems and computational methods.

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 Focus: Dr. Veneris specializes in the verification and synthesis of digital systems and circuits, with particular expertise in Boolean satisfiability solvers. His work bridges theoretical computer science with practical engineering applications, focusing on developing efficient algorithms and data structures for complex computational problems in hardware design and verification. His research intersects with formal methods, computational logic, and electronic design automation, contributing to advancements in reliable hardware systems development.

Professional Activities: Based in the Antoniadou Wing, 3rd floor at AUEB, Dr. Veneris contributes to both undergraduate and postgraduate education in computer science. His work connects with various research groups and laboratories within AUEB's Department of Informatics, which participates in numerous national and European research projects. The department maintains strong industry connections and has produced notable alumni working at leading technology companies worldwide.