Department of Informatics, University of Fribourg, Switzerland
Software Engineering Group

Software Engineering Group 

Patrik Fuhrer

Private address
Professional address
Chemin de Chalamala 3
CH - 1630 Bulle
Switzerland 		University of Fribourg
Department of Informatics
Boulevard de Pérolles 90
CH - 1700 Fribourg
Switzerland

GPS: lat 46°37'20'' N, lon 7°04'08'' E
Phone : +41 (0)26 912 61 14

GPS: lat 46°47'35'' N, lon 7°09'37'' E
Phone : +41 (0)26 300 83 43
email : patrik [dot] fuhrer [at] unifr [dot] ch

Personal Information:
Date of birth 17th March, 1975, in São José dos Campos, Brasil
Nationality Swiss
Marital status Married
Children One son (Théo, born in June 2003) and one daugther (Zoé, born in June 2005)
Languages French, German, Swiss German, English, Portuguese
Education:
September 2004 Ph.D. in Computer Science (Dr. sc. inf.)
1999-2004 Doctoral studies in software engineering - University of Fribourg, Switzerland
   
July 1998 Diploma in Mathematics (dipl. math.)
1994-1998 Mathematics and Computer Science - University of Fribourg, Switzerland
   
June 1994 Maturity diploma (type economics)
1992-1994 Maturity studies - Collège du Sud, Bulle, Switzerland
1990-1992 Maturity studies - Ecole Supérieure de Commerce, Neuchâtel, Switzerland
Work experience:
since September 2004 Senior assistant in software engineering
University of Fribourg, Department of Informatics, Software Engineering Group
  • Senior teaching assistant (Software Engineering)
  • Senior research assistant
  • Software and web development
   
March 1999 - September 2004 Teaching assistant in software engineering
University of Fribourg, Department of Informatics, Software Engineering Group
  • Teaching assistant (Software Engineering)
  • Ph.D. student (Software Engineering, Distributed Systems, Virtual Worlds)
   
September 1998 - March 1999 Insurance plan expert in a major life insurance company
Providentia, part of La Mobilière
  • Developing life insurance plans
October 1996 - July 1998 Undergraduate Teaching assistant in mathematics
University of Fribourg, Department of Mathematics
  • Introduction to Probabilities and Statistics
  • Linear Algebra
Awards
Outstanding Dissertation Award (Informatikpreis 2004), University of Fribourg, Switzerland, February 2005.
Laudatio:
Pictures:
About my mathematic studies:
Diploma thesis:
Applications rationnelles avec ensemble de Fatou vide, under the direction of Prof. Dr. H. Holmann
Seminar works:
La fonction zeta de Riemann, under the direction of Prof. Dr. B. Kaup
Théorème des pétales, under the direction of Prof. Dr. H. Holmann
About my computer science studies:
Seminar work:
AVL-Bäume: LPTP Beweis, associated with R. Lehmann and under the direction of Prof. Dr. R. F. Stärk
In this work the correctness of a PROLOG program that inserts an element into an AVL search tree was proved. The complete proof was constructed using LPTP - a Logic Program Theorem Prover and is part of its distribution (see the lptp\examples\avl\ subfolder, particularly the lptp\examples\avl\Readme and lptp\examples\avl\readme.html files).
Website portfolio:
Coeur Battant: Association de famille d'enfants cardiopathes
Artfim
Brad's Music
Air Vacances SA
HumanR
Grand Prix de la Gruyère
Some Java applets:
The Koch Curve
The Hilbert Curve
The Sierpinski Curve
Miscellaneous:
An amazing puzzle !
If you ever wonder why being careful about software design is important, read the Ariane 5 Failure Report, and the description of the Mars Pahtfinder "reset" problem
View the Earth from Space (for Fribourg: 46.48N 7.09E)
Some tours I like for my jogging:
- The traditional race: Morat-Fribourg / Murtenlauf
Resources (publications, books, websites, student works, ...) referencing some of my works:
R. F. Stärk, Formal verification of logic programs: foundations and implementation, in S. Adian and A. Nerode, editors, Logical Foundations of Computer Science LFCS '97 - Logic at Yaroslavl, Russia. Springer-Verlag, Lecture Notes in Computer Science 1234, pages 354--368, 1997.
[ Abstract | BibTeX | PDF ]

In the context of the Software Engineering (SC 207) course of year 2003 of Prof. Dr Edmond C. Prakash in the School of Computer Engineering, Nanyang Technological University (NTU) in Singapore the students have a term paper where they have to give their best biew of a topic in software engineering.
On the SC207 students page there is the whole list of term papers and Clemency Theopan studied following article:
Patrik Fuhrer, Ghita Kouadri Mostéfaoui, Jacques Pasquier-Rocha, MaDViWorld: a software framework for massively distributed virtual worlds, Software: Practice and Experience, Volume 32, Issue 7, 2002, 645-668 

Following master thesis (supervised by Assoc. Prof. Niels Jørgen Christensen)
Henrik Gehrmann, P2P Based Distributed Virtual Reality. TerraPeer - A DVE Architecture and Implementation, Institute of Informatics and Mathematical Modelling (IMM), Technical University of Denmark (DTU), February 2004.
[bibtex | PDF]
dedicates its subsection 2.2.9 to MaDViWorld

The book
Andrew Davison, Killer Game Progamming in Java, O'Reilly, May 2005.
says some words about MaDViWorld in Chapter 32: Networked Virtual Environment.
(an early draft version of this chapter is available here)

Personal Interests:
Informatics
Mathematics
Tennis
My Bookmarks (restricted access):

click here

Patrik Fuhrer Valid CSS!

Valid HTML 4.0!