Georgios E. Fainekos

Current Coordinates

2008.08: GF has graduated! In the fall of 2009, he will join the Department of Computer Science and Engineering at Arizona State University as an Assistant Professor. In the meantime, he will be working as a Postdoctoral Researcher in the System Analysis and Verification Group at NEC Laboratories America.

	News & Events
	2009.08.16: GF has joined ASU in Tempe, AZ 2009.06.29: (CFP) The deadline for submission to TECS VCPSS has been extended to July 12th 2009.06.03: (CFP) Quantitative Formal Methods: Theory and Applications 2009.03.09: NSV II speakers are announced! 2009.02.25: (CFP) 2nd Interaction and Concurrency Experience 2009.02.10: (CFP) Special issue on the Verification of Cyber-Physical Software Systems 2009.01.12: (CFP) 2nd International Workshop on Numerical Software Verification 2008.10.08: GF has joined NEC Labs in Princeton, NJ 2008.10.02: GF was awarded the Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award 2008.08.05: GF's PhD thesis has been submitted

	Travel
	2009.06.09-12 in St. Louis, MO for American Control Conference 2009.04.13-16 in San Francisco, CA for CPS Week 2008.10.20-22 in Atlanta, GA for Embedded Systems Week 2008.07.07-14 in Princeton, NJ for Computer Aided Verification

phd

dilbert

old-school web design
by g. fainekos

free website hit counter