John Potter

Adjunct Associate Professor

Office	K17 217E
Phone	+61 2 9385 4334 (Internal: x54334)
Fax	+61 2 9385 5995 (Internal: x55995)
Email
Mail	School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia

Research Areas

• Software Components: Systems & Application Design
• Object-Oriented Design: Design by Contract
• Formal Methods for OO and Components
• Semantics of OO Design Notations and Programming
• Languages
• Type Systems
• Visualisation for Object Run-times
• Concurrency Theory and Practice
• Applications of Process Algebra
• Probabistic Models, Reasoning Under Uncertainty

Update your CSE Profile preferences in myCSE.