The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
We work collaboratively across the universities of Leeds, Sheffield, and York, to enable individuals from all backgrounds to thrive within our institutions.
https://whiterose.ac.uk
PhD student working on Green Software Engineering at the University of Namur, Belgium, in the SNAIL Team (https://snail.info.unamur.be/)
https://jeromemaquoi.github.io/
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
I help companies build Machine Learning • I run http://ml.school. • Posts about what I learn along the way.
The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Trondheim, Norway // 25-28 June 2025
https://conf.researchr.org/home/issta-2025
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Prof. of software engineering and testing at the University of Namur, Belgium. Check our teamwork at https://snail.info.unamur.be 🇧🇪👨💻🏳️🌈
I like my Tea and AI, Green🌱,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
We're a QS World Ranking Top 100 University changing lives through education and research since 1905.
linktr.ee/sheffield
🏳️🌈 they/them, 🏳️⚧️ & 🖤🤍💜.
🎓 PhD student and researcher at the University of Sheffield.
🦀 Rustacean, working with the Rust compiler on mutest-rs.
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.