Frédéric Haziza – PhD Student

Address: Division of Computer Systems
Department of Information Technology
Uppsala University
Box 337
SE-751 05 Uppsala
Sweden
Visit: ITC building 1, floor 4, room 1453
Phone: +46 18 - 471 3014
Fax: +46 18 511925
Email: Frederic.Haziza@it.uu.se

Member of

under the supervision of Pr Parosh Abdulla

Publications

Parameterized tree systems. Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, and Ahmed Rezine. In Formal Techniques for Networked and Distributed Systems: FORTE 2008, volume 5048 of Lecture Notes in Computer Science, pp 69-83, Springer-Verlag, Berlin, 2008. (DOI).
Monotonic abstraction for programs with dynamic memory heaps. Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, and Ahmed Rezine. In Computer Aided Verification, volume 5123 of Lecture Notes in Computer Science, pp 341-354, Springer-Verlag, Berlin, 2008. (DOI).
Model Checking Race-Freeness. Parosh Aziz Abdulla, Frédéric Haziza, and Mats Kindahl. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 89-96, 2008.
Constrained monotonic abstraction: A CEGAR for parameterized verification. Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, and Ahmed Rezine. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI).
Model checking race-freeness. Parosh Aziz Abdulla, Frédéric Haziza, and Mats Kindahl. In SIGARCH Computer Architecture News, volume 36, number 5, pp 72-79, 2008. (DOI).
Teaching

Period Year Course
Summer 2012 Website Construction
Summer 2011 Website Construction
Spring 2011 Process Oriented Programming
Summer 2010 Operating Systems II (Concurrency)
Summer 2010 Website Construction
Summer 2009 Operating Systems II (Concurrency)
Summer 2009 Website Construction
Fall 2008 Computer Architecture 2
Summer 2008 Operating Systems II (Concurrency)
Spring 2008 Datorsystem I - Projekt
Spring 2008 Cryptology
Spring 2008 Operating Systems - Distans - cancelled
Spring 2008 Operating Systems and Compilers
Fall 2007 Concurrent Programming
Fall 2007 Computer Architecture 2
Spring 2007 Datorsystem I - Projekt
Spring 2007 Grundläggande Programmering
Spring 2007 Operating Systems and Compilers
Fall 2006 Computer Architecture 2
Fall 2005 Computer Architecture 2
Summer 2005 Introduction to computer games development
Fall 2004 Programmeringsteknik 1 (XY program)

Uppsala theme for Beamer

I created (read hacked) a theme for Uppsala University.
I find the latex beamer package very handy and good-looking to create my slides.
Very useful for teaching or conference speech.
See the longer description and refer to the thourough latex-beamer documentation for even longer:D.