You can contact Michael Beeson by email at beeson@cs.sjsu.edu
No graduate students are currently working on Otter-λ.
