Szymon Toruńczyk
191
reputation
2
3
My research interests are around logic in computer science.