Lately, he has come up with what he hopes is a still better approach, based on multiplying points to produce sites . A quadratic site is a linear combination of products of two points, just as a quadratic form is a linear combination of products of two coordinate functionals. The sites of all degrees over a given space form an algebra that is dual to the well-known algebra of forms on that space. Formal systems are a key technique for mastering complexity in computer science. A formal system combines some notation, some rules for manipulating that notation, and some sense of what the resulting strings of symbols mean.
Programming languages are an obvious example of formal systems.
SRC theoreticians enjoy studying the issues involved in typed, polymorphic, and object-oriented programming languages. The subtlety of the issues involved in security and authentication make that area a prime target for formal systems as well. The full calculus is very expressive and hence intractable. Formal reasoning of this sort is particularly important for concurrent programs, where informal and operational reasoning are notoriously unreliable. There are many issues that need to be addressed.