-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
Group Theory. Anosov representations of these groups are thought to be linear versions of these groups: many objects naturally associated with hyperbolic groups have a linear avatar in the presence
Searches related to linear algebra
Enter an email to receive alerts for linear-algebra positions