🚀🔍🧑‍🏫 I am on the academic job market! My research focuses on advancing Formal Methods, Programming Languages, and Software Engineering. Website: Research Statement:

@krismicinski If that was the case in 2019, then @testsmtsolvers likely would have never have happened.

@AndrewHammel1 Spain = lousy cuisine🤣? Compared to what? I really like the US but not for its cuisine.

RT @PhysInHistory: The public has a distorted view of science, because children are taught in school that science is a collection of firmly…

@chun_yang_chen 😂

RT @DJGould94:

Christmas Black Forest run 🎅🌲🏃‍♀️🏃

@calebstanford4 Need to give some feedback credit to @chengyuzh for their great eye for anything visual.

@hh_wandsbek This is a typo in thesis, should be && both times. c.f. I'll fix this

@satnam6502 yes, being critical cornerstones for ensuring software reliability, we should hold them to the highest possible standards. This line of research demonstrates that automated testing can help do that.

@hh_wandsbek Hence, we should use any means available to ensure their reliability/performance/stability. This line of research makes a case that testing is one approach to doing this.

@hh_wandsbek Thanks. Chapter 7 investigates this, i.e., the evolution of SMT solvers over the last 6 years. Spoiler alert: SMT solvers have become much more reliable.

RT @INSAITinstitute: 🚀  Exciting news! Researchers and entrepreneurs from INSAIT and @ETH_en Zürich launch LogicStar AI – a new agentic AI…

@pastramimachine Are they?

Vision 🔭: Developing Formal Methods Engineering (FME)---a dedicated discipline for making Formal Methods more correct, stable, performant, and usable. FME's goal: transforming the use of Formal Methods from an ad hoc activity to a structured approach. FME connects the dots between the rigorous, mostly theory-oriented FM research of Verification/PL with the practical engineering reality (SE).