Caroline Cronjäger
maths - comp sci - english lit - climate sci
Research
Creative Writing
PLDI 2024 (Research Competition)
POPL 2024 (Incorrectness workshop)
Explore other Linktrees
Discover more
@djproducerandresmatheus@mylovec_@deltaomegarho@wellscollege@Cheng.guozi@atheer_makeup@celestiahouse@marneandriottifotografia@tatumnoelgreen@essential.scents09@alanwaqar6@2offitproduction@norato.co@remaxtrieto@parallelsound.ai@blkfreestyle@godswillbleed@moft4all@liam_wilkes_@C54xncom@replinksandforms2.0@Mayuko_woodturning@psicologajuliamouro@fadairodimeji128@mqviiss@Desertroadsentertainment@plazadelmariachizebulon@trynagetrich@Shadow_Of_Sleep@btwnus.studio@killerbeautee@lucie_beautyy@Brittanylaine_@leclique1.0@Denoforreal@offcentrecollective@CasashO1@kame.kafe@ebonypeoples@Vasavipolimera@epicofhelinthia@motivevations@shfdrn@Gymgirli@Laurenaquinn
About this account
carolinecronjaeger
To help keep our community authentic, we're showing information about accounts on Linktree.
JoinedMay 2024
Caroline Cronjäger has been a member of Linktree for 2 years and joined in May 2024. The social media accounts linked to from Caroline Cronjäger are: LinkedIn, X. Besides social media accounts, carolinecronjaeger has populated their site with The UNTer Framework (Raad, Vanegue & O'Hearn), Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version), Exact Separation Logic, Exact Separation Logic (Extended Version), Short Story: "What the Cat Dragged Out", 2-pager: The Never-Ending Trace, Talk recording: The Never-Ending Trace, Slides: The Never-Ending Trace.
More from Linktree
Link in bio + tools
- Link in bioCustomize your Linktree
- Link shortenerCreate trackable, shareable short links
- QR code generatorTurn links into scannable QR codes
- Canva Background EditorImport your custom designs from Canva into your profile
Linktree for every social platformGrow and engage your audience everywhere
- Schedule and auto-postHands-free, hassle-free social media planning
- Instagram auto replyAutomated replies and DMs triggered by comments
- AI content & caption generatorInstant AI-powered post ideas and captions
- Hashtag generatorTrending hashtag suggestions for better reach
Social integration for every social platformPlan, auto post, and share across all platforms
- Earn with a Linktree ShopSell products and earn commission
- Sell an online courseCreate and sell your expertise easily
- Host digital productsSell digital products and build your email list
- Earn by hosting sponsored linksShare brand offers and earn for every sign-up or sale
- Get rewarded for growing your LinktreeEarn points, level up and unlock cash bonuses
- Booked and paid, easilyOffer sessions and earn from your expertise
Measure your success
Resources
How to use Linktree