معرفی
Atta Samiullah serves as an Instructor in the Department of Computer Science at the University of Copenhagen, affiliated with the Programming Languages and Theory of Computation (PLTC) section. His role encompasses teaching responsibilities across undergraduate and graduate computer science programs including BSc in Computer Science, Computer Science and Economics, Machine Learning and Data Science, and Communication & IT.
His research profile aligns with PLTC's core focus areas:
- Programming language technology and formal verification methodologies
- Theory of computation with applications in distributed ledger systems
- Security and privacy preservation techniques in software systems
- Financial technology applications and blockchain infrastructure
- Compiler technology and high-performance computing architectures
- Quantum programming language design
The PLTC section operates through specialized research groups including Decentralized Systems, Security & Privacy, HOT Lab, FUTHARK (Functional Technology for Modern Architectures), and Quantum Programming. These groups maintain active industry collaborations in fintech and blockchain sectors while developing open-source tools like Moscow ML and MLKit compilers. Research output spans probabilistic programming frameworks, Stein variational inference techniques, and applications in bioinformatics and vaccine design.
No scientific awards or student supervision activities are documented in current institutional records. His work contributes to the department's mission in advancing programming language theory with practical implementations in secure financial systems and distributed computing environments.
