I'm a PhD student at the Institute of Cybernetics, Tallinn University of Technology under the
supervision of Tarmo Uustalu and
Enn Tõugu. My fields of interest include
program verification and synthesis, program analysis and optimizations (esp. for Java and Java bytecode),
proof-carrying code, programming language semantics, visual languages etc.
Akadeemia tee 21
12618 Tallinn
ESTONIA
Phone: +372 620 4212
Fax: +372 620 4151
E-mail: ando(a t)cs.ioc.ee
Contact
Institute of CyberneticsAkadeemia tee 21
12618 Tallinn
ESTONIA
Phone: +372 620 4212
Fax: +372 620 4151
E-mail: ando(a t)cs.ioc.ee
Publications
A list of my publications can be found here.Programming
From time to time I enjoy doing some programming.As part of my master's thesis I implemented a framework for rapid development of visual languages which now is called CoCoViLa (Compiler Compiler for Visual Languages). Besides me, Pavel Grigorenko has also actively participated in the project and is a co-developer and -maintainer. The tool is still a shaky prototype, so use it at your own risk. ;)
I have also written a miniature web spider and search engine in PHP called Sphider. It has attracted quite a few users and code contributers and is downloaded around 100 times a day.
To teach myself about Java bytecode, I extended the open-source jclasslib bytecode viewer, so it could be used for editing bytecode. The resulting Java Bytecode Editor can be found here.
Something that has always fascinated me is the idea of artificial life and "emergent behavior", the idea that complex group behavior can arise from very simple rules obeyed locally by each individual. I have implemented some algorithms from this field for fun, you can take a look at the applets of the Boids algorithm of Craig Reynolds and the Game of Life of Conway. Both implementations have their "non-standard" features, so check them out.
Misc
Like so many people recently, I enjoy hobby photography quite a bit. Here are some pictures taken with my trusty Canon G3.I also enjoy playing around with video editing software (I highly recommend VirtualDub). "Through Tallinn in 6 minutes" video by me and Siim Vaikmaa is a nice test of some of the features. Check it out.