Very excited to hear that one of my PhD students, Andy Hammer, won the prestigious NSF Graduate Research Fellowship. Andy has been cool work on developing formal methods for improving the resilience of software systems. Congratulations, Andy!! @cmus3d.bsky.social @scsatcmu.bsky.social
14.07.2025 16:55 β π 10 π 0 π¬ 0 π 0
Today at 17:00-17:15, Room 210 @icseconf.bsky.social, my student, Yining She, will be presenting our work on long-term fairness - identifying how an ML system that appears fair at deployment may gradually become less fair due to a feedback loop within the environment. Please drop by! #icse2025
30.04.2025 11:38 β π 4 π 1 π¬ 0 π 0
Today at 16:15β16:30 in Room 103 at #icse2025, my student Parv Kapoor will present constrained LTL learning, a new approach that gives the user more fine-grained control over learned LTL specs and significantly increases the range of applications for learning. Please drop by! @icseconf.bsky.social
30.04.2025 11:35 β π 4 π 0 π¬ 0 π 0
Upon learning that yesterday would be my last day as a program officer at the National Science Foundation, I shared this parting message with my colleagues. The next few months will be frenetic and stressful for them. Here are some things that you can do to help them with the mission ahead. (1)
19.02.2025 19:08 β π 2422 π 828 π¬ 69 π 70
I love this channel!
09.12.2024 16:32 β π 1 π 0 π¬ 0 π 0
It's surreal to see what's unfolding in Korea right now. Yoon will almost surely get impeached for what he's done.
03.12.2024 17:30 β π 4 π 0 π¬ 1 π 0
science journalist | good physics, bad physics, and sometimes ugly physics
Signal: dgaristo.72
Email: digaristo@gmail.com
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Senior Researcher, Carnegie Mellon. Studying social cyber security and organizational risk using network science and computational and agent-based modeling. But... mostly I play games.
CS PhD student at CMU
Retrieval, Webgraphs, Source Credibility, Adversarial Adaptation
PhD Candidate in Software Engineering @CMU
Studying Rust interop π¦
borrowsanitizer.com
Software engineering phd student at Carnegie Mellon University. Enjoys empirical open source software supply chain sustainability and security research, cycling, and climbing.
http://courtney-e-miller.github.io/
The Computer Science Department's mission has remained steadfast: to lead in computer science research and education that has real-world impact β to push the frontiers of the field and produce the next generations leaders.
The 40th IEEE/ACM International Conference on Automated Software Engineering β https://conf.researchr.org/home/ase-2025
Prof CS University of Oslo
https://ebjohnsen.org
Automated reasoning @ AWS.
https://dddejan.github.io/
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Assistant Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture.
Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Associate Professor, Privacy, Security, Software Engineering at UMaine
https://www.sepidehghanavati.com
Funded by ARC, our labβs world-leading research makes a difference by delivering more inclusive software solutions for today's diverse population needs.
engineer, artist, human // @ figma.com, prev @ Coda // making convivial tools
Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
PhD student @Yale β’ Applied Scientist @AWS AI β’ Automated Reasoning β’ Neuro-Symbolic AI β’ Alignment β’ Security & Privacy β’ Views my own β’ https://ferhat.ai
