Thursday, June 29, 2017

Tenure-track assistant professorship (cyber security) at IMT Lucca

I have been asked to distribute this job announcement. For what it is worth, I strongly recommend IMT Lucca, an ambitious doctoral school and centre of advanced studies, and Lucca is a wonderful place to live.

IMT School for Advanced Studies Lucca invites applications for a tenure-track assistant professorship in Computer Science
(Ricercatore a Tempo Determinato Tipo B, RTD-B - INF/01).

We particularly welcome candidates with experience or willingness to work in the area of cyber security broadly construed, ideally complementing IMT’s current strengths. Topics of interest include (but are not limited to):
- access control;
- cryptocurrencies;
- formal verification of security protocols;
- security requirements elicitation;
- web security;
- security of “Internet of Things”.

The successful candidate is expected to publish in first-class journals and in the proceedings of top conferences in computer security. Moreover, she/he is expected to establish links with local companies and institutions that have shown high interest in cybersecurity, and to apply for national and international research funding.

According to Italian law, RTD-B assistant professors will be employed for three years, during which they are required to secure a habilitation (ASN) from an independent national evaluation committee in order to obtain tenure at the associate professor level. Applicants to ASN are evaluated based on various indicators of scientific quality and leadership such as bibliometrics, research grants, invited talks, and best-paper awards.

IMT is one of Italy’s six schools of excellence for postgraduate education, ranked first in the last national research assessment exercise. IMT researchers are expected to contribute to the teaching and supervision of PhD students, admitted to the School through a selective international competition. The working language is English.

The salary will be determined on a personal basis within pay grades defined as per Italian legislation. The indicative starting gross salary for an RTD-B assistant professor is € 34,898. Net income may vary depending on income taxes, local taxes, retirement plan, health care deduction and tax exemptions. New employees who have worked in research-based positions abroad for the previous two years may be eligible for a substantial tax rebate for the first three fiscal years of employment.

The online application form is available at
!!!!!Deadline July 27th, 2017 - Italian midday!!!!!

Wednesday, June 28, 2017

Ten years of the European Research Council: A View from TCS

The European Research Council (ERC) turned ten this spring. This event has been celebrated in Brussels and in many European countries with thematic events, highlighting success stories in research related to the ERC and examining possible future developments for this remarkable funding agency. Helga Nowotny, the first President of the ERC, has written an editorial in Science looking at the future of the ERC. In that editorial she summarized the first ten years by saying that, since its inception, through international competition, the ERC has awarded grants amounting to over 12 billion euros to about 7,000 researchers in Europe. Two- thirds of those awards went to young scientists with 2 to 12 years of experience after receiving their PhD.

I held a small opinion poll within the theoretical computer science (TCS) community to try and find out what TCS researchers think of the first ten years of the ERC and to see how this, undoubtedly very successful, funding agency can be improved. To this end, I wrote to 26 colleagues in TCS, who cover a fairly broad spectrum of topics within TCS research and have a diverse geographical distribution. Some of those colleagues have received at least one ERC grant at various stages of their careers, but some haven’t so far.

I received 21 replies, so my emailing effort had a good 80.7% success rate. I thank the colleagues who took time from their busy schedules to reply to my questions.

In case anyone is interested, I penned a contribution to the October issue of the Bulletin of the EATCS summarizing my findings. You can read it here.

Wednesday, June 14, 2017

Interview with Alexandra Silva, Recipient of the 2017 Presburger Award

The European Association for Theoretical Computer Science (EATCS) established the Presburger Award in 2010. The award is presented each year at ICALP "to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers."

The 2017 Presburger Committee, consisting of Marta Kwiatkowska (chair), Stephan Kreutzer and Jukka Suomela, has selected Alexandra Silva (Senior Lecturer at University College London, UK) as recipient of the 2017 EATCS Presburger Award for young scientists. To my mind, this is a wonderful choice. Alexandra Silva is one of the brightest rising stars within our research community and, in a very short period of time, has established herself as a research leader and a mentor for young researchers, who somehow also finds the time to serve the theoretical-computer-science community in a variety of roles.

I interviewed Alexandra Silva (abbreviated to AS in what follows) via email and present her answers to my questions in what follows. I hope that the readers of the Bulletin of the EATCS will enjoy reading the text of the interview and will find it as interesting as I did. Most importantly, I trust that young researchers and students in (theoretical) computer science will be inspired by Alexandra's example to pursue a career in our exciting field of science.

LA: Alexandra,  first of all, congratulations for the 2017 Presburger Award! I wanted to start by asking you about your background and when you became
interested in computer science.  When did you decide to pursue a PhD and a career in academia? Is there anyone who played an important role in that decision?

AS: I wanted to study mathematics, but my brother convinced me I should do a double bachelor in maths and CS because otherwise I would not get a job :-) I did a Math and CS degree at Universidade do Minho  (Braga, Portugal) and fell in love with the foundations of CS. I decided to pursue a PhD after a very happy research project at the end of my degree supervised by Joost Visser and Jose Nuno Oliveira. I worked very closely with Joost for 6 months and he was a great inspiration in my career and taught me the basic principles of research. Another person who was instrumental was Luis Barbosa: he motivated me to go abroad for a PhD and to ask Jan Rutten to be my advisor.

LA: So far, you have studied and worked in Portugal, the Netherlands and the UK, and have collaborated with researchers in Germany and the US, amongst others. How important has this variety of experiences been for your career development? Do you prefer to work alone or to collaborate with other people?

AS: Working in different countries and being exposed to different cultures has made me a more flexible and resilient person.  This has been very important in my career, also to help me deal with all the rejected papers and grant proposals! :-) I am happy to meet new people and discuss research. When I am excited about a new idea I like to share it with my colleagues and discuss ways to improve it!

LA: Could you tell our readers briefly what your main research interests are today?

AS: These days I am very keen on applications of automata learning in verification. Frits Vaandrager planted the seed in 2011 when I joined Nijmegen and 4 years later I really saw the light and since then have been very excited on working in understanding existing learning algorithms and improving them, using a categorical perspective on their correctness proofs. I am currently exploring connections with my other passion -- Kleene algebra and extensions thereof -- and looking at learning NetKAT specifications from networks. 

LA: These days you are managing a fairly large research group.  Have you found it difficult to become the leader of a group, with the responsibility of managing substantial research grants and of making sure that the young researchers in the group thrive and produce the best work they can? Is there any specific strategy you adopt in managing your group?

AS: I find it very exciting but at the same time the responsibility does overwhelm me at times. I see these super bright young minds and would like to help all of them thrive, in ways other people have helped me in my career. My current strategy is to make sure they know I am always available to talk and help but more importantly I want them to realise they are part of a team and support can come from anyone in that team. We have a slack channel that is very active and in which all issues are discussed -- from completeness of Kleene Algebra to how you can trick image recognition software to think a puppy is fried chicken (credits to Joshua Moerman!).

LA:  I know that you have a strong interest in gender issues and in increasing the number of women in computer science and their visibility within the community. What has been your experience as a young woman in TCS? Do you have any advice to offer to the community in order to attract and retain more talented female students? Did you have any female role model and how important do you think they are in general?

AS: I was very lucky at the beginning of my career and throughout my PhD and post-doc I never felt there was any problem. This was in part due to my advisors -- Jan Rutten, Marcello Bonsangue, and Dexter Kozen -- who were real mentors throughout the years and always made me feel welcome in the research environment of their groups. It was when I became a faculty member that I felt animosity from several male colleagues. One told me that I only got my first faculty job because I was a woman. That day I truly thought it was the end of my career. I survived that incident and the many that followed but it did leave marks and a strong will to avoid others having to go through the same. When Prakash [Panangaden] invited me to join the SIGLOG executive board I saw an opportunity to do something for the community and pushed that we implement anti-harassment policies in SIGLOG conferences and try to foster a welcoming environment for everyone. I am not sure I have any good advice on how to attract female students -- I think as a community we need to strive to create more welcoming environments and start new trends in which being a woman in TCS becomes a normal thing! Catuscia Palamidessi and Marta Kwiatkowska are great female role models and have inspired me at various points me in my career. I have also had many male role models, including yourself, for which I am very grateful!

LA: Finally, you were one of the prime movers in establishing the Logic Mentoring Workshop at LICS. is there any advice you'd give a computer science student with an interest in carrying out research in TCS and working in academia?

AS: Whatever topic you decide to work on, the most important thing is to be excited about it. Happier research is better research, in my opinion. Also, the topic you choose today will not define you in the future: that is the beauty of working in academia, one can change research topic during the years! From a more practical perspective, it is important to have mentors and role models that will help you make the right decisions at important turning points of your career.

Monday, June 12, 2017

Has the Feder-Vardi dichotomy conjecture been proved? (Take 3)

In this post and this one,, I mentioned a paper by Arash Rafiey, Jeff Kinne and Tom├ís Feder and one by  Andrei Bulatov, claiming a solution to the long-standing Feder-Vardi dichotomy conjecture. Today Moshe Vardi pointed out to me this paper by Dmitriy Zhuk that offers a third proof of that conjecture.

At this point, I think that one can safely say that the dichotomy conjecture is true. Indeed, I find it hard to believe that all the three proofs contain mistakes that cannot be patched. As I wrote in my earlier posts on this matter, I hope all the proofs will be found to be correct by the community and that the techniques used in those articles will find application in other contexts.

Congratulations to the authors of those papers!