Research Interests: Information integration, ontologies, database semantics, schema mapping Software engineering, including specification, architecture, requirements, validation User interface design, information visualization, new media (see also CSE 271) Social & ethical aspects of science & technology, esp IT (see CSE 175) Formal methods, especially hidden algebra and theorem proving Object, relational and functional programming, and their combinations (see CSE 230). Top Tourist Attractions on this Site: What's New - lists most recent (and some not so recent) work Information integration, ontologies, database semantics, schema mapping BOBJ, OBJ Language Family, Tatami homepages; proof websites generated by Kumo Algebraic Semiotics and "world famous" award winning UC San Diego Semiotic Zoo Hidden Algebra (key resource award in formal methods) CSE 271 and CSE 171: User Interface Design: Social and Technical Issues