Skip to main content
Andrius Velykis
  • Blog
  • Topics
    • All topics
    • Coding
    • Other
    • Research
    • Useful
  • About me
  • Research
  • Publications

Posts in “Useful”

  • Installing Z/EVES on Mac OS X 16 September 2012
  • Strategy for master BibTeX file using Git submodules 13 June 2012
  • List BibTeX publications in WordPress with papercite 9 May 2012

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.