My name is Gia Septiana Wulandari, a lecturer in the Department of Informatics at Telkom University. In 2021, I got my PhD from the Department of Computer Science, University of York, UK. My PhD research was about Graph Programs Verification under the supervision of Detlef Plump. My thesis was about doing formal verification of graph programs, that are written in the graph programming language GP 2, by using Hoare-style verification with Monadic Second-Order Logic as assertions.
e-mail : giaseptiana[at]telkomuniversity.ac.id
Office : TULT-1706
Background
I graduated from Institut Teknologi Bandung, Indonesia, with a BSc in Mathematics in 2009. My final project was about total vertex irregular labelling on the tensor product of star (class of graph).
I then continued my study, taking Computational Science in both Institut Teknologi Bandung (Indonesia) and Kanazawa University (Japan). I took dual degree program so I spent my master years in both universities for one year each. My study was about molecular dynamics. I graduated with an MSc in 2011.
In 2012, I started becoming a junior lecturer in the Department of Computer Science at Telkom University, Indonesia. As a junior lecturer with a Mathematics background, I joined some research in various areas: graph implementation, evolutionary computation, and cryptography.
Aside from doing research, as a junior lecturer, I also taught some subjects: Calculus, Linear Algebra, Mathematical Logic, Discrete Mathematics, Design and Analysis of Algorithm, and System Modeling.