Sponsor: ShanghaiTech,
Library and Information Center
Intro
What I am all about.
GeekPie_ is a student association debuted when the first batch of ShanghaiTech
undergraduates
entered this school. Since the inception of our association, it has been collecting
EECS-related
geeks in Schools of Information and Science Technology (SIST) in ShanghaiTech and nurturing
enthusiasts towards gorgeous masters.
As the youngest section of GeekPie_, GeekPie_HPC is growing steadily. Inspired by the
success in
ASC, ISC and SC student cluster competitions, newcomers influx, endowed
with courage,
eagerness, and full devotion. We are grateful to the School of Information Science and
Technology (SIST) and the Library and Information Center for supporting us
with
comprehensive
HPC resources. With fresh blood injected into this vigorous team and more advanced HPC
resources
this year, GeekPie_HPC is sure to become one of the most influential student supercomputing
teams in the next competition.
Diversity
Strength
History
Enthusiasm
Tech Stack
Something we are equipped
Spack
Spack is a package manager for supercomputers, Linux, and
macOS. It
makes installing scientific software easy.
Grafana
Grafana is the open source analytics & monitoring
solution for every database.
Cuda
CUDA® is a parallel computing platform and programming model
developed by NVIDIA for general computing on graphical processing units
(GPUs).
Full-time undergraduate students from year 1 to 3 at ShanghaiTech, majoring
in
any
field, with a strong interest in high-performance computing and computer
architecture.
Have some self-learning ability and the ability to read English documents.
The ability to program in C++ and master basic knowledge of algorithms/data
structures.
Extensive friendships with students from THU, USTC and prestigious foreign
universities (female students are preferred).
The title is Curry-Howard-Voevodsky.
The
Curry-Howard correspondence relates formal proofs in logic and computer programs
in
a typed functional programming language.