Fritz H. Obermeyer

PhD student (2005-2009) in Pure and Applied Logic
Department of Mathematical Sciences
Carnegie Mellon University

Location:I have graduated and moved to Toyon Research Corporation in Goleta, CA.
Gmail address: firstname.lastname

My thesis project, Johann, was a system for doing and verifying mathematics and programming, based on combinators and untyped lambda calculus. Johann uses some knowledge representation and statistical learning tricks to prove/verify statements expressed in a particular lambda-calculus.

Notes - Resume - Thesis: Abstract, Final Draft, Talk

"Short-term Ambiguity Assessment to Augment Tracking Data Association Information",
S. Gadaleta, S. Herman, M. Levedahl, S. Miller, F. Obermeyer, B.J.Slocumb, and A.B.Poore,
Fusion 2005

"A Bayesian Network Tracking Database",
Fritz Obermeyer and Aubrey Poore,
Proceedings of SPIE Signal and Data Processing of Small Targets 2004

"Batch maximum likelihood (ML) and maximum a posteriori (MAP) estimation with process noise for tracking applications",
A.B.Poore, B.J.Slocumb, B.J.Suchomel, F.H.Obermeyer, S.M.Herman, S.M.Gadaleta,
Proceedings of SPIE Signal and Data Processing of Small Targets 2003