Thanassis Avgerinos

About me

Hi, welcome to my homepage! I am a first year PhD student at Carnegie Mellon University. I am interested in several fields of Computer Science, including Program Analysis and Verification, Programming Languages, Compilers and Software Engineering. Recently, I delved into Software Security. My advisor is David Brumley.

I did my undergraduate studies at the Electrical and Computer Engineering Department of National Technical University of Athens, where my advisor was Kostis Sagonas.

You can get a copy of my curriculum vitae here.

Contact Info

Office: CIC #2131A, Carnegie Mellon University,
5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA
Phone: 412-268-9276
e-mail:

Education

Sep 2009 - Present PhD in Electrical and Computer Engineering, Carnegie Mellon University
Sep 2004 - May 2009 Diploma in Electrical and Computer Engineering, National Technical University of Athens.

Research Interests

  • Program Analysis and Verification
  • Programming Language Design and Implementation
  • Compilers
  • Software Security
  • Software Engineering

Publications (also available at DBLP)

  1. K. Sagonas and T. Avgerinos. Automatic refactoring of Erlang programs. In Proceedings of the Eleventh International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, New York, NY, USA, Sept. 2009. ACM. [PDF]

  2. T. Avgerinos and K. Sagonas. Cleaning up Erlang code is a dirty job but somebody's gotta do it. In Proceedings of the Eighth ACM SIGPLAN Erlang Workshop, New York, NY, USA, Sept. 2009. ACM. [PDF]

Theses

  • Undergraduate Thesis: Thanassis Avgerinos, Automatic Refactoring of Erlang Programs, May 2009. [PDF] (Intro in Greek)

Free Hit Counter