Daniel Jackson — Computer Science & Eng. faculty at MIT. Research: Human-Computer Interaction, Programming Languages and Software Engineering, Systems and.