diff --git a/archive/2024/README.md b/archive/2024/README.md
index e9b1255..9b2b351 100644
--- a/archive/2024/README.md
+++ b/archive/2024/README.md
@@ -13,6 +13,7 @@
 | Francisco Kusch Domínguez | CompTN: A Compiler Infrastructure for High-Performance Tensor Network Computing | BA | Nathaniel Tornow, Oğuzcan Kırmemiş | [PDF](summer/docs/bsc_kusch_comptn_a_compiler_infrastructure_for_high_performance_tensor_network_computing.pdf) | [PDF](summer/talks/bsc_kusch_comptn_a_compiler_infrastructure_for_high_performance_tensor_network_computing.pdf) |
 | Anders Choi | PulseMLIR: An MLIR Dialect for Pulse Representations in Superconducting Quantum Computers | GR | Francisco Romão | [PDF](summer/docs/gr_anders_choi_pulsemlir_an_mlir_dialect_for_pulse_representations_in_superconducting_quantum_computers.pdf) | [PDF](summer/talks/gr_anders_choi_pulsemlir_an_mlir_dialect_for_pulse_representations_in_superconducting_quantum_computers.pdf) |
 | Paul Zhang | Network Function Virtualization with UniBPF | BA | Masanori Misono, Ilya Meignan--Masson | [PDF](summer/docs/bsc_paul_zhang_network_function_virtualization_with_unibpf.pdf) | [PDF](summer/talks/bsc_paul_zhang_network_function_virtualization_with_unibpf.pdf) |
+| Liangrun Da | Design and Verification of Byzantine Fault Tolerant CRDTs | MA | Martin Kleppmann | [PDF](summer/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf) | [PDF](summer/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf) |
 
 ## Winter semester
 
diff --git a/archive/2024/summer/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf b/archive/2024/summer/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf
new file mode 100644
index 0000000..058cabe
Binary files /dev/null and b/archive/2024/summer/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf differ
diff --git a/archive/2024/summer/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf b/archive/2024/summer/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf
new file mode 100644
index 0000000..9673e1d
Binary files /dev/null and b/archive/2024/summer/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf differ