Computer Science Assistant

Curriculum Vitae of Thomas Wies

Particulars

address: Computer Science Department phone: +1-212-***-****

Courant Institute of Mathematical Sciences fax: +1-212-***-****

New York University email: ****@**.***.***

251 Mercer Street, Room 407 web: http://cs.nyu.edu/wies/

New York, NY 10012 citizenship: Germany

Research Interests

Program analysis and verification; automated deduction; concurrent software; software

productivity.

Education

University of Freiburg, Freiburg, Germany, 2006 { 2009

Ph.D. in Computer Science (with distinction), degree date: November 2009

Thesis: Symbolic Shape Analysis, Advisor: Prof. Andreas Podelski

Max Planck Institute for Computer Science, Saarbr ucken, Germany, 2005 { 2006

Ph.D. student

Saarland University, Saarbr ucken, Germany, 1999 { 2005

M.Sc. in Computer Science (Diplom), Minor in Physics, degree date: March 2005

Thesis: Symbolic Shape Analysis, Advisor: Prof. Andreas Podelski

Academic Honors

Ph.D. with distinction, University of Freiburg, 2009.

Microsoft Research European Ph.D. Scholarship, 2006 { 2009.

Scholarship of DFG Research Training Group on \Mathematical Logic and Applications",

University of Freiburg,

2006 { 2009.

Scholarship of DFG Research Training Group on \Quality Guarantees for Computer Systems",

Max Planck Institute

for Computer Science, 2005 { 2006.

Work Experience

2011 { today: Tenure-Track Assistant Professor. Computer Science Department, Courant

Institute of Mathematical

Sciences, New York University, New York, NY, USA.

2009 { 2011: Postdoctoral Researcher. Institute of Science and Technology,

Klosterneuburg, Austria.

2008 { 2009: Postdoctoral Researcher. Ecole Polytechnique F ed erale de Lausanne,

Switzerland

.

2007 (Fall):

Research Intern. Microsoft Research, Redmond, WA, USA.

2006 (Fall): Research Intern. Microsoft Research, Cambridge, UK

.

2006 { 2008: Research Assistant. University of Freiburg, Germany.

2005 { 2006: Research Assistant. Max Planck Institute for Computer Science, Saarbr ucken,

Germany.

Selected Invited Talks

CP meets CAV, Turunc, Turkey, June 2012.

NEC Labs, Princeton, NJ, USA, February 2012.

Dagstuhl Seminar on Decision Procedures in Software, Hardware and Bioware - Follow Up,

Germany, June 2011.

AVACS Spring School, Oldenburg, Germany, March 2010.

Dagstuhl Seminar on Typing, Analysis, and Verification of Heap-Manipulating Programs,

Germany, July 2009.

Curriculum Vitae of Thomas Wies, page 1 of 3

Professional Activities

Organizer and Program Chair

Co-Chair of 4th International Workshop on Invariant Generation,WING 2012, Manchester, UK,

June 2012.

Program Committee Member

19th International Static Analysis Symposium,SAS 2012, Deauville, France, September 2012.

14th Workshop on Formal Techniques for Java-like Programs,FTfJP 2012, Beijing, China,

June 12, 2012.

2nd

International Workshop on Intermediate Verification Languages, BOOGIE

2012, Berkeley,

California, USA

;

July 2012.

4th International Conference on Verified Software: Theories, Tools, and Experiments,VSTTE

2012, Philadelphia,

USA, January 2012.

3rd International Workshop on Invariant Generation,WING 2010, Edinburgh, UK, July 2010.

2nd International Workshop on Invariant Generation,WING 2009, York, UK, March 2009.

Refereed for

Book chapters:

Contact this candidate