Projects

	Lifehacking self improvement
	This is what this blog is really about. I'm working on improving skills that influence productivity, happiness, social life, and traveling opportunities. Lifestyle. I have very specific goals so I am shaping my lifestyle to fit those goals. I have always thought that instead of working hard one should work smart. I try to optimize processes by automating them and spending time most-effectively.
	Clafer PhD project
	I'm PhD student and I do research in software engineering. Software is an integral part of everyone's life. Software is also the most complex artifact that people have ever produced. We want to help engineers construct software that is correct by design (works as expected and, ideally, has no errors). In particular, we are working on Clafer, a language that will help requirements analysts (people who elicit requirements) and software developers to specify and implement software correctly.
	Gzowski Club social club
	A social club in Kitchener/Waterloo, bringing together students. We are firm believers in good times. We're classy. The club was started by young, Polish students... uniting all students through top notch social outings. Check out our website, Facebook and Twitter.

Past Projects

	Certificateless Cryptography final-year project
	At the end of my undergraduate studies I got interested in cryptography and computer security. I thought it would be great to be a hacker. I wanted to combine my interests with university requirements, which resulted in the final-year project on Certificateless Cryptography [PDF]
	Space Exploration student association
	As an undergrad I enjoyed building satellites and was a member of Student Space Engineering Scientific Group. We worked on a stratospheric balloon BOBAS2, European Student Earth Orbiter (ESEO), and PW-Sat: the first Polish pico-Satellite. In all of those projects I wrote software for on-board computers and communication modules. Not only it was fun, but I had a chance to meet lots of European students and visit European Space Agency.
	NAAG social programming
	As a teenager I founded a group of passionate programmers. The group focused on creating programs in assembly language and reverse-engineering the code. It was a great opportunity for each of us to learn from each other and to work on programming projects. Our contribution to the community included a website with tons of materials, tutorials, and a magazine.