Formal Methods at Glasgow Uni (@FormalMethodsGU) header
Formal Methods at Glasgow Uni (@FormalMethodsGU) profile picture

Formal Methods at Glasgow Uni

@FormalMethodsGU

The Formal Methods Research Group is part of the @FATAglasgow research section | School of Computing Science @GlasgowCS | @UofGlasgow UK. Tweets by @OanaMAndrei

 Glasgow, Scotland
dcs.gla.ac.uk/research/formalmethods/
Joined January 2019
  • Tweets496
  • Following176
  • Followers369
New @confCAV paper by @gethinnorman co-authored with Marta Kwiatkowska @CompSciOxford, @davexparker & Gabriel Santos on major new release #PRISMgames #ModelChecker v3.0 #StochasticGameVerification 🎲👾 Talk online youtube.com/watch?v=dAuBRF3A… at min 1:20:30 link.springer.com/chapter/10…
4
6
Interested in a PhD studentship in #FormalMethods @GlasgowCS ? Only one week left to apply by 31 January 2020. Contact any of our academics @AliceMillerUoG , @gethinnorman, @michele_seve, @OrnelaDardha, @SimonJGay to discuss potential PhD topics! @FormalMtds #phdchat
Formal Analysis, Theory & Algorithms (@FATAglasgow) profile pictureFormal Analysis, Theory & Algorithms@FATAglasgow4 Dec 2019
PhD studentships available @GlasgowCS. Applications relating to FATA research topics are welcome. Details at bit.ly/36bj05l @davidmanlove1 , @SimonJGay, @apropos0, @gethinnorman Patrick Prosser, Kitty Meeks, @OrnelaDardha, @michele_seve, @researcherjess @UofGSciEng
8
5
New journal paper by @William_Kav, @apropos0, @gethinnorman and @OanaMAndrei on "Balancing #TurnBasedGames with #ChainedStrategyGeneration" in @IEEETxnOnGames #FormalVerification #GameBalancing #AdversaryGeneration #ModelChecking #GameDesign #RPG ieeexplore.ieee.org/document…
Image from Formal Methods at Glasgow Uni (@FormalMethodsGU)
5
11
This month two @GlasgowCS PhD students joined our #FormalMethods group: Ms Uma Zalakain @typer_uma (supervised by @OrnelaDardha) and Mr Kyle Burns (supervised by @mseve84). Welcome and enjoy your PhD experience!
2
1
9
If you’re attending @formalmethods19 and want to know more about our group or @GlasgowCS , look out for @OanaMAndrei who is attending the conference on Monday and Tuesday and presenting her work at @DataMod19 on Tuesday afternoon. #formalmethods
7
7
Great day #IWD2019 to celebrate our #FormalMethods awesome female members: Alice Miller @apropos0, Muffy Calder @UofGSciEng, @OanaMAndrei and @OrnelaDardha for their commitment to #BalanceforBetter in Computer Science and STEM @GlasgowCS @UofGAthenaSWAN @UofGlasgow
Image from Formal Methods at Glasgow Uni (@FormalMethodsGU)
8
20
Bread and spread competition at @GlasgowCS with very yummy entries! Thank you Frances and Gozel for organising this second edition!
Image from Formal Methods at Glasgow Uni (@FormalMethodsGU)
2
Shortbread biscuits and strawberries from @OanaMAndrei to celebrate the last day of the meteorological winter ❄️🌷 with the lovely FATA people
Image from Formal Methods at Glasgow Uni (@FormalMethodsGU)
3
Ciaran McCreesh giving a FATA talk on why doing lots of computational experiments for optimisation problems such as the maximum clique problem with 15 billion instances @CiaranMcCreesh @GlasgowCS
Image from Formal Methods at Glasgow Uni (@FormalMethodsGU)
1
6
Roses are red, Violets are blue, Choco truffles from Ciaran's girlfriend For the FATA people too ... Extra chocolatey googly-eyed truffles at the Thursday's FATA coffee&cake break
Image from Formal Methods at Glasgow Uni (@FormalMethodsGU)
1
Load more