Here is the helpdesk of the Concurrency and Parallelism Laboratory at KAIST School of Computing. We will try to answer your questions as far as we can!

Questions and Answers

If you have a question, please ask in an issue tracker. Please ask questions on computing in general, laboratory, or anything you want to ask. We will try to answer your questions as detailed as possible.

Areas of expertise

We have expertise on Rust, Coq and formal verification, compiler, and concurrent programming.

How to ask questions?

Please contribute to the community

Your participation would be greatly appreciated. Please watch this repository, and if there are some questions you can answer, please do so. Your help will make the helpdesk much more scalable.