Tomas Matousek's Homepage

Who am I?

A postgraduate student of Computer Science at the Department of Software Engineering of the Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic.

Education:

• Master Degree (Mgr. in Czech context) in Computer Science on the School of Mathematics and Physics, Charles University in Prague, Czech Republic.

Experience:

• object oriented systems: .NET Framework (C#, MSIL languages), Java
• software verification, model checking: Zing, SPIN, Spec#, PREfast, SDV
• operating systems: Windows 2000/XP/2003 kernel drivers
• database systems: Oracle (SQL, PL/SQL)
• web applications: PHP, ASP.NET, JavaScript
• IDE: Visual Studio .NET 2003/2005

Interests:

• Compilation of dynamic languages on .NET
• Static analysis
• Model checking

Main Software Projects

• Phalanger: the PHP compiler for Microsoft .NET Framework
• Aesop 2 information system (not public)

Research

• Verification of Complex Software (PhD. research topic)
  • Extracting Zing models from C programs
  • Static analysis of C programs
  • Model checking
• Master Thesis: Model of the Windows Driver Environment

Papers

• Tomas Matousek, Filip Zavoral: Extracting Zing Models from C Source Code [PDF], submitted to SOFSEM 2007
• Tomas Matousek, Pavel Jezek: DeSpec: Modeling the Windows Driver Environment [PDF], submitted to VMCAI 2007
• Tomas Matousek: Towards an Extractor of Windows Kernel Driver Models Based on DeSpec Specifications [PDF], MIS2006
• Jan Benda, Tomas Matousek, Ladislav Prosek: Phalanger: Compiling and Running PHP Applications on the Microsoft .NET Platform [PDF], .NET Technologies 2006

Teaching

• Advanced .NET Programming Seminar (summer 2005/2006)
• Advanced .NET and C# Programming Seminar (winter 2004/2005)

Talks

• Verifying Windows NT Kernel Drivers Using Zing Model Checker [PDF]
• The Spec# Programming System [PDF]
• Metadata in Common Language Runtime [ZIP, some examples included]
• Oracle: Privileges and roles (Czech)
• Oracle: Large Objects and OCI (Czech)
• JScript and DOM of the Microsoft Internet Explorer [PDF] (Czech)
• Introduction to the Extended Three-Valued Tuple Predicate Calculus [PDF] (Czech)
• Active XML Rules [PDF] (Czech)
• I²C bus overview [PDF]

Others

• MaNoMa's I2C bus Win2K/XP drivers collection
• CORBA News Server/Client
• SqlHighlighter: Oracle PL/SQL Highlighting Java Applet
• MaNoMa's Kernel: a simple kernel for MIPS R4000 microprocessors
• Snakes: a simple Unix Network Game
• Microsoft .NET Framework and Java 2, Enterprise Edition [PDF] (Czech)