Get to know the basics of an HPC system. Users will learn how to work with common high performance computing systems they may encounter in future efforts. This includes navigating filesystems, working ...

Programming languages and formal methods, type and effect systems, program verification for operating system kernels, and computational linguistics Sean Grimes: Swarm intelligence, biologically ...