Topics – Andrius Velykis

Skip to main content

Andrius Velykis

Blog
Topics
- All topics
- Coding
- Other
- Research
- Useful
About me
Research
Publications

Topics

Categories

Coding
Other
Research
Useful

Tags

AI4FM
BibTeX
CZT
Eclipse
FM2012
Git
howto
Isabelle
Isabelle/Eclipse
Java
Maven
papercite
PhD
ProofProcess
publications
reflow-maven-skin
releases
talks
WordPress
XML
XML-1.1
Z/EVES

Find me on

LinkedIn
Google+
Twitter
Last.fm
Google Scholar
GitHub
Bitbucket
SourceForge

Currently working on

Me @ Newcastle University
AI4FM research project (completed)
ProofProcess framework
Isabelle/Eclipse
CZT: Community Z Tools
Reflow Maven skin

Andrius Velykis

I am a research associate in Taming Concurrency project at Newcastle University. I spend my days with formal methods & tools, trying to make theorem proving and reasoning about concurrency easier.