My name is Gia Septiana Wulandari, a junior lecturer in School of Computing, at Telkom University. However, I am currently not active as a lecturer to continue my study. I am a first year PhD Research Student in the Department of Computer Science, University of York. I am a member of Programming Languages and Systems Research Group.

Now I am studying Reasoning about Graph Programs under supervision of Dr. Detlef Plump. I intend to do verification for Graph Programs (GP), problably using Separation Logic since the tools based on it have shown tremendous promise when applied to the problem of formal verification.

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 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 university for one year each. My study was about molecular dynamics. I graduated with an MSc in 2011.

In 2012, I started become a junior lecturer in the Department of Computer Science at Telkom Univeristy, Indonesia. As a junior lecturer with Mathematics background, I joined some research in various areas: graph implementation, evolutionary computation, and cryptography.

Aside from doing research, as junior lecturer I also taught some subjects: Calculus, Linear Algebra, Mathematical Logics, Discrete Mathematics, Design and Analysis of Algorithm, and System Modeling.