My name is Gia Septiana Wulandari (gɪʌ), a first year PhD Research Student in the Department of Computer Science at the University of York, United Kingdom. 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), probably using Separation Logic since it has gained widespread popularity as a formal foundation of tools that analyze and verify programs.
e-mail : (via department' web form)
Office : CSE/215-1
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. I was also an assistant lecturer for Cryptography subject.