
Tural Mammadov
@turikmammadov
Doctoral Researcher at CISPA 🇩🇪 – Helmholtz Center for Information Security
ID: 1189716860410978304
https://cispa.de/en/people/c01tuma 31-10-2019 01:34:48
14 Tweet
25 Followers
44 Following

I got a 2.5 Million EUR European Research Council (ERC) Advanced Grant #ERCAdG (my 2nd)! In the project "Semantics of Software Systems" (S3), we will research massive generation of tests and oracles for software. Details (and proposal!) here: cispa.de/s3 Come work with me!






Last day in Australia ends with a visit to University of Sydney. Thanks Rahul Gopinath ⇾ @[email protected] for hosting and the very nice campus tour




At Schloss Dagstuhl, kicking off my new ERC project “Semantics of Software Systems” cispa.de/s3



It was fun to apply #NLProc methods to software engineering with my brilliant colleague Andreas Zeller and his student Tural Mammadov. The coolest part, to me, is that you can backtranslate program outputs into program inputs. Let's see where this will go!
