|
Dr Ross Williams obtained his Ph.D. in Computer
Science from the University Of Adelaide in 1990. His
thesis Adaptive Data Compression presented the SAKDC
text compression algorithm which provided the best known
text compression at the time. The thesis was subsequently
published as a book by Kluwer Academic Publishers,
Boston. It sold out and was reprinted.
During 1990 he worked for the Australian National
Railways as a Safety Critical Software Analyst with the
responsibility of using formal methods to prove train
control software safe. He left in 1991 to found
Rocksoft Limited. From 1991 to 1993, he was active in the area of
data compression, creating the newsgroups
comp.compression and
comp.compression.research, releasing five
new high-speed data compression algorithms LZRW1-LZRW5.
In 1992 he released his own literate programming
tool FunnelWeb under the GNU GPL and used the tool
during 1992 to 1994 to develop the Veracity data
integrity product, which Rocksoft released in mid 1994. Since then he
has continued to develop Veracity and Rocksoft.
Ross is currently focused on growing Rocksoft.
Ross is knowledgeable in trusted systems and formal
verification, data compression, data integrity, literate
programming, cryptography, programming language design,
portability, intellectual property, and web design. He is a
member of the ACM, the IEEE, and the ACS.
His personal email address is ross@ross.net.
His personal web site is at http://www.ross.net/.
Back to the home page
| 
