Szymon Toruńczyk

628
reputation

My research interests are around logic in computer science.