Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Nir Piterman Profile picture
Nir Piterman
@n_pite
Professor for Computer Science @cse_gbg @goteborgsuni.
Jul 11, 2023 • 10 tweets • 3 min read
Four (4) fully funded #CSPhD #PhDposition at @cse_gbg in @chalmersuniv/@goteborgsuni. A broad call in Computer Science and Engineering: Formal Methods, Types, Security, Networks, Software Engineering, Computer Graphics, and Interaction Design… Apply here: web103.reachmee.com/ext/I005/1035/… I highlight the #Reactivesynthesis project by @yehiaabdalrahmanis. It's like telling a robot what you would like it to do and automatically getting program for how to do it. The project is about efficient treatment of space in synthesis. Work combines theory and practice!
Dec 22, 2021 • 8 tweets • 8 min read
@ERC_Research supported #postdoc #postdocposition in project "DSynMA: Distrubuted Synthesis from Single to Multiple Agents" at @cse_gbg in @chalmersuniv/@goteborgsuni.
Want to know what's it going to be like in our group / university / city?
Apply here: web103.reachmee.com/ext/I005/1035/… #Reactivesynthesis is like telling a robot what you would like it to do and automatically getting program for how to do it. Work on things like temporal logic, two-player games, modelling of agents, strategic analysis? All are relevant to our work on foundations of synthesis.
Jul 29, 2021 • 7 tweets • 7 min read
Another #CSPhD #PhDposition in @ERC_Research @Vetenskapsradet & @WASP_Research supported team to work on proj "Combining Path-finding Algorithms in Reactive Synthesis" at @cse_gbg in @chalmersuniv/@goteborgsuni. Some diffs from last thread... Apply here: chalmers.se/en/about-chalm…. #Reactivesynthesis is still like telling a robot what you would like it to do and automatically getting program for how to do it. Path-finding is a #planning technique used in navigation, movement, games, and more. We will work on combining these. Still theory and practice!
Jun 10, 2021 • 12 tweets • 7 min read
#CSPhD #PhDposition in @ERC_Research and @Vetenskapsradet supported team to work on project “Enabling Reactive Synthesis through Runtime Verification” at @cse_gbg in @goteborgsuni/@chalmersuniv (Sweden). Official ad tiny.cc/gbgphd. Here is what you should really expect… #Reactivesynthesis is like telling a robot what you would like it to do and automatically planning how to do it. #Runtimeverification follows programs through their execution to ensure they are correct. We will work on these. Theory and practice!