Few Words About Me


Name: David Safranek
Born: 28th November 1977
Occupation: Faculty of Informatics
  Botanická 68a
602 00
Brno
email: xsafran1(at)fi.muni.cz
dawe(at)mail.muni.cz

 
Professional interests Practical verification of concurrent systems, their formal graphical specification, and applications to in sillico models of living organisms (systems biology),...
 
Let's make formal verification more usable...and gain maximum of its power...
 
You can see my publications here.
Spiritual interests Poems and song lyrics writing (some of my poems have been published in Wagon), music-composing-listening-playing, electric&acoustic&classical guitar playing, making rhythms with my small djembe; sampling, MIDI programming, HD recording...
 
Music is infinite source of goodness, inspiration and spirituality...
 
I'm member of the alternative rock band Xychty...
Favourite meal Everything besides apple pie, tomato soup, and rice pudding...
Favourite drink There's nothing clearer than water, in the time I feel like an angel :-) In Ireland they taught me to drink beer and whisky, here they teach me to drink wine... That's in the time when I feel like a devil...And last, but not least, I hate the state of being drunk ;)
Favourite guitar Fender Stratocaster (American Deluxe HSS) and this special Telecaster made for me by Erika (it's already eaten :-))
 
There's nothing better you can express your feelings with...


This way you can go back, dear visitor...


(c) David Safranek, 1997