Fritz H. Obermeyer

Email: my three initials, at andrew.cmu.edu
Office: Wean Hall 7211
Hours: Mon+Wed 5-6pm, Tues 2:30-3:30pm, or by appt.
Mailbox: Wean Hall 6113
Office Phone: 412-268-1439

My thesis project, Johann, is 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: Astract, Draft, Talk

Projects

Johann:: a system for expressing and verifying mathematics using combinators.
Jenn:: software for visualizing coxeter polytopes.

Papers

"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