My name is Gia Septiana Wulandari, a lecturer in School of Computing, at Telkom University. However, currently, I am an active lecturer to continue my study. I am a PhD Research Student in the Department of Computer Science, University of York.

Now I am studying Reasoning about Graph Programs under the supervision of Detlef Plump. My thesis is 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]

Office : (was) E102



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.

Leave a Reply