===== Mateusz Kocielski =====

Email: shm@%%FreeBSD%%.org \\ 
IRC: shm at EFNet, IRCNet, Freenode

===== Projects =====

[[ShmSoc2011|Summer of Code 2011]] - Testing temporal properties of %%FreeBSD%% with Temporally Enhanced Security Logic Assertions

----

{{tag>Homepage}}