Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Shape Group Members

The Shape Group (in person)

The members of the group are:

Barry Jay (cbj@socs.uts.edu.au)
Head honcho. Covariant type system (a polymorphic type system with a set theoretic semantics). The Map type system - A type system for shape polymorphism. Data Categories -- semantic foundations of Shape

Daniel Mahler (mahler@socs.uts.edu.au)
Masters Student. Developing a type system which allows the separation into run-time and compile-time computation. The shape of run-time computation depend only upon compile-time values.

Milan Sekanina (milan@socs.uts.edu.au)
PhD Student. Developing Shape analysis systems for Linear Algebra computations. Also developing semantic frameworks for performing such analyses.

David Clarke (clad@socs.uts.edu.au)
PhD Student. Shape (and Shape Polymorphism) in Parallel Computing

Jenny Edwards (jenny@socs.uts.edu.au)
Head of School. Parallel Linear Algebra. Operations Research. Applications of Shape in these areas

Gregory Zevin (greg@socs.uts.edu.au)
Post-doctoral Fellow. Systolic Algorithms and Shape. Implementation of the Shape language. Supported by a Large ARC grant.