Jorge A. Pérez

並行プログラミングでのプログラムの終了とその重要性について学ぼう。

セッションタイプがソフトウェア開発における通信プロトコルをどう改善するか学ぼう。

線形プロセスの概要と、プログラミングや通信システムにおけるその重要性。

型付き非決定性の理解と、それがコンピューティングにおけるリソース管理に与える影響。

非同期コミュニケーションがシステムのやり取りや効率をどう向上させるかを発見しよう。