Prof. Dr. rer. nat. Tianxiang Lu, SFHEA

Professur für DevOps und Cloud Computing, Studiengangsleitung M.Sc. DevOps and Cloud Computing, M.Sc. DevOps and Cloud Computing Management

Kurzprofil

Github Repo: https://github.com/Prof-it
Google Scholar: https://scholar.google.com/citations?user=amjVn40AAAAJ&hl=en

bridging formal methods, AI systems engineering, and secure cloud-native infrastructures

Formal Methods & Neural-Symbolic Verification (TLA+, distributed systems, blockchain-enabled IoT)
Artificial Intelligence & Scalable Learning Systems (Neural-symbolic AI, NLP, Agentic AI & MLOps, Quantum AI, Edge Health AI, Gaussian Splatting, Simulation & Optimization)
Secure, Governed & Cloud-Native Systems (AI Alignment & Governance, DevSecOps, DORA, NIS2, EU AI Act)
IU Forschungsprojekt RRiL (Automated Reasoning for Law)

Senior Fellow of Higher Education Academy (SFHEA)
Founder of the Facebook group: https://www.facebook.com/groups/IT2Know/
Senior Member of IEEE, Computer Society, Communications Society, Computational Intelligence Society
Member of Circle in The Cloud Security Alliance (CSA)
Member of Max Planck Alumni Association: CoNE - Lu, Tianxiang
Member of INRIA Alumni: Team members – VeriDis: Verification of Distributed Systems
Member of BCS, The British Chartered Institute for IT
Member of The Chartered Management Institute (CMI)
Member of Universität des Saarlandes Alumni
Member of Université de Lorraine Alumni
Founder of the Facebook group: https://www.facebook.com/groups/IT2Know/