David Safranek - Biographical summary

Personal data

Date of birth: November 28, 1977

Place of birth: Brno, Czechoslovakia

Nationality: Czech

Education

• 2001 -- 2006: Faculty of Informatics, Department of Computer Science, Masaryk University. Obtained PhD in computer science.
  PhD thesis: Visual Coordination Networks, supervised by Lubos Brim.
• 1996 -- 2001: Masaryk University Brno, Faculty of Informatics, Department of Computer Science. Obtained Mgr. (master's degree) in computer science.
  Diploma thesis: Graphical specification of concurrent systems, supervised by Lubos Brim.
• 1992 -- 1996: Secondary grammar school tr. Kpt. Jarose, Brno, specialized in math and physics.

Research interests

• Systems biology
• Concurrency theory - specification of concurrent systems
• Coordination languages
• Formal verification of hardware and software

Teaching experience

• 2002 -- now: Has been tutoring a course on Functional Programming for first-year computer science students at Masaryk University, Brno.

Publications

Academic stays

• 2000: Emerald Cultural Institute, Dublin, Ireland - School of English Language; 2 weeks intensive course of English.
• 2002: Bertinoro International Summerschool for Graduate Studies in Computer Science, May 20-31, 2002, Bertinoro, Italy.
  Awarded a stipend covering substantial part of the expenses.
• 2004: A CoLogNET PhD Summer School in Logics of Formal Software Specification Languages, June 6-19, 2004, Stara Lesna, Slovakia
• 2005: University of Namur, Belgium, cooperation with prof. Jean-Marie Jacquet regarding coordination languages, 2 months

Academic awards

• 2002: Awarded the price for the best paper at SOFSEM 2002 student research forum.

Skills and interests

• Programming experience in C/C++, SQL, Delphi, and Pascal; knowledge of UNIX/Linux.
• Languages: native Czech, English - First Certificate in English, elementary knowledge of German and Russian.
• Other interests: music composing, guitar playing, poems writing, sports.