Contact Jobs

Peter Faymonville

Peter Faymonville (Ph.D. Student)

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5622
eMail: faymonville at cs.uni-sb.de
Building: E 1.3 Room: 533

About me

I am a Ph.D. student in the Reactive Systems Group in the Computer Science Department at Saarland University. Since 2009, I am a member of the Graduate School of Computer Science. Previously, I was a visitor to the Computer Vision Group at UCSD.

My main interests are parametric temporal logics and their model checking and synthesis problems.

[FWMB09]	CAPTCHA-based Image Labeling on the Soylent Grid. Peter Faymonville, Kai Wang, John Miller and Serge J. Belongie KDD Workshop on Human Computation (HCOMP), 2009.
[GFB09]	BUBL: An Effective Region Labeling Tool Using a Hexagonal Lattice. Carolina Galleguillos, Peter Faymonville and Serge J. Belongie IEEE First Workshop on Emergent Issues in Large Amounts of Visual Data, 2009.
[MDFF08]	Exchange of contact data between mobile phones using NFCIP. Jürgen Müller, Philipp Dobrigkeit, Peter Faymonville and Tobias Flach Proceedings of the 4th European Workshop on RFID Systems and Technologies (RFID SysTech 08), 2008.

WS 2011/2012	Teaching assistant for Softwarezuverlässigkeit.
WS 2011/2012	Teaching assistant for Verification.
SS 2011	Teaching assistant for Games, Synthesis and Robotics.
SS 2010	Student assistant for Programmierung 1.