Lunatik

My blogs

Industry	Science
Occupation	PhD student
Location	Netherlands
Introduction	I have too many thoughts and ideas, and no time to write them all down
Interests	Verification Techniques, Formal Methods, Protocol Verification, and more.