Ing. Petr Müller

Education:

• 2000-2004 Gymnázium Vídeňská (High school)
• 2004-2008 Bc. (Bachelor's degree), FIT BUT
• 2008-2010 Ing. (Master's degree), FIT BUT

Professional career:

• 2005-2006 AVG (former Grisoft), Quality Assurance
• 2006-now Red Hat Czech, Quality Assurance

Research interests:

• formal verification
• operating systems
• programming languages
• quality assurance
• testing automation

My favorite links:

• Flawless! (my aggregator of interesting links from the field of testing, static analysis and other topics of software quality)