FACTORS won the Start Cup Veneto competition in the ICT category! This means that (i) the project is taking off! (ii) we will compete in the “Premio Nazionale dell’Innovazione” at the end of November, and (iii) we will be in full operation starting in March 2021!
The CFP of the 9th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020) is out!
If you have any (even preliminary) result about abstract domains in general, or even numerical and symbolic domains, please submit to NSAD! Deadline: September, 4th. NSAD will be co-located with SAS and SPLASH 2020.
Interested in working in the application of static analysis techniques to novel scenarios? Or maybe in blockchain and cybersecurity?
One annual fellowship is available at Ca’ Foscari University of Venice, Italy, on “Development of security and reliability analysis of smart contracts in Go”.
Deadline for applications: September 2, 2020.
Requirements: master degree in computer science or computer engineering, age < 35
The call can be found at https://www.unive.it/data/28825/ (please search the title above in the long list of open positions)
Gross salary: Euro 20.960,00.
Feel free to reach me out if you are interested and/or want to know more!
I’m extremely happy to announce that a paper on the application of static analysis to the certification of decision trees has been accepted at ESORICS 2020! This paper (pdf here) is the first result of a new collaboration with Stefano Calzavara and Claudio Lucchese started when I recently moved to Ca’ Foscari University. Stay tuned for further developments!
I’m extremely happy to announce that our business idea FACTORS (about the application of formal methods to robotic software) has been admitted at the final stage of Start Cup Veneto (more details here – unfortunately, only in Italian). The project is lead by Gianluca Caiazza (PhD candidate at University of Venice) and Ruffin White (UC San Diego), and in collaboration with prof. Agostino Cortesi (University of Venice) and myself.
Starting from tomorrow, we will be involved in the Acceleration Program, and the final event will take place in Padova on October, 1st, when the winners will be announced.
I’m glad to announce that the paper “SARL: OO Framework Specification for Static Analysis” (joint work with Luca Negrini) has been accepted for presentation at VSTTE 2020! This paper introduces a novel language aimed at specifying some components of object oriented frameworks (such as Java Spring and Hibernate, and .NET Windows Forms and ASP.NET) in order to improve the precision and soundness of static analysis applied to program relying on such frameworks. The paper will be presented by Luca on July, 20th at 5:30 PDT (see full program).
The papers will be available as post-proceedings, so if you want to have access to a pre-print draft of the paper please contact me.
Time for applying for PhD Scolarships at Ca’ Foscari University of Venice!
Deadline: May, 27th
Details about the PhD program at UniVE
The call is open in any field of Computer Science and there are 8 open positions in this scientific area.
Full details about the call as well as the formal call are available (page 15 contains the details about positions in Computer Science).
Feel free to reach me out if you want to know more!
There is an open call for Marie Skłodowska-Curie Individual Fellowships. At University of Venice we are quite interested in this opportunity (we are among the top host institutions, and the 1st one in Italy!), and I would be thrilled to supervise candidates working in my research area! The deadline to send a (rather short) proposal is May, 31st, while the deadline for the full submission is July, 31st. Feel free to ping me if you are interested in this opportunity!