Mr. Andrius Velykis
| Position | PhD Student |
|---|---|
| Telephone | +44-(0)-191-222-8715 |
| Fax | +44-(0)-191-222-8232 |
| School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU United Kingdom | |
| Office | Room 1102A, Claremont Tower |
Andrius is a PhD student in AI4FM project, supervised by prof. Cliff Jones. He is interested in theorem proving, formal modelling and verification. Andrius gained his BSc in Applied Mathematics at Kaunas University of Technology, Lithuania. He continued his studies with MSc Software Engineering at the University of York, UK, where he was awarded the degree with distinction.
