Alexandra Mendes
@asfmendes
Followers
228
Following
782
Media
19
Statuses
282
Assistant Prof. in CS@FEUP, University of Porto (@feup_porto). Previously: Visiting Researcher @CarnegieMellon. Loves Programming, Maths, gardening, and walks.
Lisbon, Portugal
Joined May 2009
If you are interested in a postdoc in program/spec repair and/or addressing challenges in the adoption of verification-aware languages (like Dafny), plz get in touch! I just had a project approved (more details soon) & we are a strong, young(ish) & motivated team!. Plz share! 😊.
2
15
25
RT @jff: Checkout ERCIM News 139 which is focused on Software Security and features a description of our work on polyglot code analysis for….
0
2
0
Do you work with Ansible? We want to hear from you! 🎯 This study is led by a joint team from @CarnegieMellon and @istecnico .Plus, if you agree to an interview, you'll be entered into a $100 raffle! 💸.Click here to participate:
0
0
2
RT @LawrPaulson: Remembering Michael J. C. Gordon, 28 Feb 1948 – 22 Aug 2017, who did more for interactive theorem proving than practically….
0
19
0
We are in the beautiful city of Porto working closely with researchers from .@CarnegieMellon and @istecnico. You must have finished your PhD between 2 to 7 years before application (work leave periods can be considered).
0
2
3
If you use/ever used a verification-aware lang (e.g. Dafny, Why3) we would be very thankful if you could participate in our survey: We are gathering insights into what challenges beginners and experienced devs face while using these langs. Pls share! 🙏.
0
14
16
RT @CMUPortugal: 👏 Alexandra Mendes (@asfmendes), a 2023 #CMUPortugal Visiting Faculty & Researcher scholar from @feup_porto has been honor….
0
2
0
Afternoon snack before @FormaliSEconf's dinner. This @ICSEconf is definitely my kind of event! 😆
0
2
9
I'm very thankful to @FLAD, Atlantic Center, and @IDNPORTUGAL for this award!. I am so looking forward to work on this project! 😊.
🙌Alexandra Mendes (@asfmendes) and Jan Stockbruegger (@stockbruegger) are the winners of the Atlantic Security Award 2024, an initiative resulting from the partnership between FLAD, Atlantic Center and.@IDNPORTUGAL. 🔗 🧶
0
1
6
It's official! From today I'm a Visiting Researcher at @CarnegieMellon university under the @CMUPortugal program! If you're around in the next few weeks, feel free to come around and say hello 😊
0
2
29
RT @nunofsaavedra: 📢 Exciting News! 📢 I'm delighted to announce my paper presentation at @ASE_conf! 📑. Title: Polyglot Code Smell Detection….
0
2
0
RT @JPascoalFaria1: LAST DAYS (4 days): A-TEST 2023 ( is looking forward to your papers on test automation. You can….
0
4
0
Also, she has no customer service skills. Started shouting immediately!.
0
0
1
I know her name is Pal (something) Virdi(?). Awful woman, she needs to get her manners sorted. @HeathrowAirport explain: are we not allowed to see the id of your staff? (3/3).
2
0
1
She refused to allow me to see her id, said I have no right to see her id and that she would call security and I would get removed from the flight. I have every right to see the id of the person that removed my luggage from me. Is this what @HeathrowAirport represents? (2/3).
1
0
0
Boarding flight at @HeathrowAirport, this awful woman mistreated every single @tapairportugal passenger, including a lady with a baby, removing her pushchair before arriving to the airplane and refusing to help her close the pushchair. As soon as I asked for her name (1/3).
1
0
1