Developing a new Cyber Security MSc program.

I was a member of the group "Security and Trust of Software Systems (SaToSS)" led by Prof. Sjouke Mauw. My current research in SaToSS includes verifying the privacy of cryptographic protocols. Notable research in Luxembourg includes work on ePassport privacy and associated methodologies for discovering and analysing such privacy vulnerabilities.I was involved in setting up the Interdisciplinary Space Master program at University of Luxembourg. This program is at the heart of the… Show more I was a member of the group "Security and Trust of Software Systems (SaToSS)" led by Prof. Sjouke Mauw. My current research in SaToSS includes verifying the privacy of cryptographic protocols. Notable research in Luxembourg includes work on ePassport privacy and associated methodologies for discovering and analysing such privacy vulnerabilities.I was involved in setting up the Interdisciplinary Space Master program at University of Luxembourg. This program is at the heart of the government initiative to place itself at the forefront of the commercialisation of space. Our team conducted interdisciplinary research concerning CubeSats to complement this teaching. Show less

I was a senior research fellow working in the Cyber Security Lab. There, I was involved in two projects. The first project, lead by Ass.Prof. Alwen Tiu and funded by the Ministry of Education, developed methods and tools for the verification of cryptographic protocols. The second project, lead by Assoc.Prof. Liu Yang and Ass.Prof. Shang-wei Lin and funded by the National Research Foundation, aimed to verify a micro-kernel from the specification of the kernel services right down to the hardware… Show more I was a senior research fellow working in the Cyber Security Lab. There, I was involved in two projects. The first project, lead by Ass.Prof. Alwen Tiu and funded by the Ministry of Education, developed methods and tools for the verification of cryptographic protocols. The second project, lead by Assoc.Prof. Liu Yang and Ass.Prof. Shang-wei Lin and funded by the National Research Foundation, aimed to verify a micro-kernel from the specification of the kernel services right down to the hardware on which it executes.I received the Best Paper Award at CONCUR'17 for work that formally connected intuitionistic logic with equivalence checking for protocols (a method that can be used in the verification of privacy properties). Show less

I was affiliated with the Laboratory of Formal Methods in the Institute of Computer Science at the Romanian Academy of Science. The project, funded by the National Authority for Scientific Research, entitled ``Membrane Computing and Biologically Inspired Calculi: Computability, Complexity, Causality'', was led by Prof. Gabriel Ciobanu. In that project I developed models of causality and applied them to problems in fundamentally non-interleaving systems, such as geographically distributed… Show more I was affiliated with the Laboratory of Formal Methods in the Institute of Computer Science at the Romanian Academy of Science. The project, funded by the National Authority for Scientific Research, entitled ``Membrane Computing and Biologically Inspired Calculi: Computability, Complexity, Causality'', was led by Prof. Gabriel Ciobanu. In that project I developed models of causality and applied them to problems in fundamentally non-interleaving systems, such as geographically distributed databases. Show less

My research here concerned the foundation of languages for transactions on the Cloud. Cloud providers persist data across a global network of datacentres leading to challenges developing models that respect weaker consistency models than traditionally expected in database management systems.I chaired the workshop Embracing Global Computing in Emerging Economies (see emerging.kbtu.kz), featuring speakers from leading universities in Europe and Kazakhstan as well as professionals from… Show more My research here concerned the foundation of languages for transactions on the Cloud. Cloud providers persist data across a global network of datacentres leading to challenges developing models that respect weaker consistency models than traditionally expected in database management systems.I chaired the workshop Embracing Global Computing in Emerging Economies (see emerging.kbtu.kz), featuring speakers from leading universities in Europe and Kazakhstan as well as professionals from industry, with proceedings published by Springer. I have chaired 28 meetings of the Almaty Seminar Series in Computer Science, that supports high level research in all technical universities in Almaty. I am frequently a reviewer for international conferences and journals and have served on the program committee for ICTAC 2014, CrossCloud 2014 and BEAT 2014.I was responsible for the joint Information Systems and Mobile Systems master course with Lancaster University, UK. I cover: major lasting foundational achievements by some of the greatest computer scientists; and recent advances in systems, with an emphasis on distributed systems for Cloud computing. I supervised five master theses and one undergraduate thesis. In September 2014, we founded the Department of Electrical Engineering and Computer Science, where I contributed to the development of the computer science curriculum. Show less

I was quickly promoted to associate professor.

I was invited to teach a module on Distributed Systems for Big Data. I was keynote speaker for their conference ICECCO 2015, which brings together a global network of Turkish universities.

I had a summer job as a C# backend developer during my undergraduate studies.