Carnegie Mellon University

Wojciech Nawrocki

Wojciech Nawrocki

  • Baker Hall 145B
Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Hometown: Warsaw, Poland

Education

BSc Computer Science and Physics, The University of Edinburgh
MPhil Advanced Computer Science, University of Cambridge

Research

  • Interactive theorem proving
  • Software verification
  • Philosophy of mathematics