Ò»±¾µÀÎÞÂë

Wojciech Nawrocki

Ph.D. Student

Bio

Hometown: Warsaw, Poland

Education

• B.S. Computer Science and Physics, The University of Edinburgh
• MPhil Advanced Computer Science, University of Cambridge

Research

• Interactive theorem proving
• Software verification
• Philosophy of mathematics