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...