Computer Science @ University of St Andrews

University of St Andrews crest

Mr Fahrurrozi Rahman

No picture available

Position: Research Student

Email ( fr27

Office: JC0.13 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1636

Home page:

Recent Publications

A probabilistic model of Ancient Egyptian writing

Formal verification of CNL health recommendations

Rahman, F & Bowles, JKF 2017, Formal verification of CNL health recommendations. in N Polikarpova & S Schneider (eds), Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 10510, Springer, Cham, pp. 357-371, 13th International Conference on integrated Formal Methods (iFM 2017), Torino, Italy, 18/09/17. DOI: 10.1007/978-3-319-66845-1_24