a pessimistic researcher

I've just started a very exciting new chapter! At the beginning of August, I joined CISPA Helmholtz Center for Information Security as a tenure-track faculty member, where I'll continue working at the intersection of usable privacy and human-computer interaction. I'm incredibly happy to be here and excited for everything that lies ahead. As many of you know, I truly loved my time as a PhD student at the LMU Media Informatics Group. I was fortunate to work in an environment where I felt supported, motivated, and able to grow, and I now hope to create that same kind of environment for my own research group. Research is a team effort, and none of this would have been possible without the many people who supported, encouraged, and inspired me along the way. I'm very grateful to all of you. I'll soon be recruiting PhD students and postdocs. If you're excited about research in usable privacy and human-computer interaction, keep an eye out for the upcoming job postings or feel free to reach out already at windl@cispa.de!

بعضی از سیسی‌های گل به من لطف دارن، خیلی وقتا بهم پیام میدن و اسکرین میفرستن که ببین فلان کس یا فلان کانال پستات رو کپی کرده و اینا. من اوکیم راستش. اگر واقعا انقدر این کسشرا خوبه که فکر میکنید باید یکی دیگه هم ببیندش که باید کلاهم رو بندازم هوا. حالا اگر فور کردید که بوس و بغل، عشق دادید. اگرم کپی کردید کی.. یعنی کیسی اوکیه ❤️

هر جای این کره زمین که هستی، اگر الان دمای شهرت زیر ۳۰ درجه است اگر زیر کولر آبی یا گازی نشستی اگر خنکت شده همین الان بابت این نعمت بزرگ قدردانی‌ خودت رو نسبت به شهری که درش زندگی‌ میکنی، پدر مادری که برات کولر خریدن، راننده‌ای که برات کولر روشن کرده، اتوبوس/مترو/قطاری که کولر روشن کرده/ صاحب کاری که کولر روشن کرده نشون بده. و اگر دلت برای ما شکست یادی هم از ما کن.

New beginnings at TUM — and we are hiring! I am very happy to share that I have joined the Technical University of Munich (TUM) as Professor of Fundamentals of Programming, where I am building a new research group. After many wonderful years at TU Wien, I am very grateful to my colleagues, collaborators, and students in Vienna for our time together and look forward to staying closely connected. At TUM, we investigate the mathematical foundations of programming and automated reasoning about software, spanning programming languages, program analysis and verification, logic and automata, and the interaction between formal methods and AI. I am currently looking for outstanding PhD students and postdoctoral researchers to join us: https://lnkd.in/dihusE3h Please feel free to share!

📣 I am recruiting interns for Winter 2026/Spring 2027 at the Max Planck Institute for Software Systems (MPI-SWS)! Topics of interest: (1) LLM factuality, reliable information synthesis and reasoning (including in agentic settings), personalization (2) Creativity in AI (3) Data-centric Interpretability Please fill out this form by Sep 15 for full consideration: https://lnkd.in/gKYfBDxk

این زمستان را نبین ما هم بهاری داشتیم

قدر جوونی تون رو بدونید جوون‌ها

یکی از کاربردهای Fixed Point Theorem توی CS مربوط به Model Checking میشه. بدین صورت که ما میایم میگم اگر رفتار یک software یا یک hardware رو یک state space در نظر بگیریم، میتونیم یک lattice complete روش تعریف کنیم بدین صورت که مجموعه‌ی توانی تمام state ها…

We are looking for an industrial PhD candidate in AI & healthcare @ Copenhagen - More

یکی از کاربردهای Fixed Point Theorem توی CS مربوط به Model Checking میشه. بدین صورت که ما میایم میگم اگر رفتار یک software یا یک hardware رو یک state space در نظر بگیریم، میتونیم یک lattice complete روش تعریف کنیم بدین صورت که مجموعه‌ی توانی تمام state ها…

توی این پست یکم در مورد فیکسد پوینت صحبت شد، و یکی از ممبرای خوبمون یه توضیح خیلی عالی نوشت که دعوتتون میکنم توی کامنت‌ها بخونیدش. لینک پستش: https://t.me/c/4331799155/1213

این ترم توی دانشگاه زارلند یه سمیناری توسط بنیامین کامینسکی برگزار میشه به نامخ Fixed Point Theory که به نظرم این حرکت از اونجایی شروع شد که ایشون با دانشجوهاش توی LICS امسال مقاله‌ی The Algebra of Iterative Constructions رو منتشر کردند. تو این سمنیار یک…

سیسی‌های کانال همگی تحت حمایت و نظر من هستند.

این ترم توی دانشگاه زارلند یه سمیناری توسط بنیامین کامینسکی برگزار میشه به نامخ Fixed Point Theory که به نظرم این حرکت از اونجایی شروع شد که ایشون با دانشجوهاش توی LICS امسال مقاله‌ی The Algebra of Iterative Constructions رو منتشر کردند. تو این سمنیار یک تعداد مقاله قراره خونده بشه که نکته ارزشمندش برای ما همین لیست مقالاتی هستش که قرار دادند. یکم ممکنه برخی از این مقالات تم PL و Verification داشته باشه، ولی کلا fixed point theory یه چیز خوش‌مزه‌ایه که توی اکثر علوم میتونی کاربرد داشته باشه. اگر خواستید یه سری به لیست مقالات بزنید این لینکه رو ببینید.

دوستان اگر کسی pdf این کتاب رو تونست گیر بیاره هم خودش بخونه، هم بفرسته ما بخونیم https://www.artima.com/shop/modern_mathematics

داغ مطمئن - از روزهای فراموش شده چون ساغرش به دُردِ خُمِ ساقی آخته در عمرِ این قمار، فضیحانه باخته آن روز، در عدم که به خاکش دمید روح تقدیر را به شیوه‌ی غمنامه ساخته آتش به دل کَشیده و خاموشِ سال‌‌ها؛ یک داغِ مطمئن زِ گلویی گداخته زخم‌ست بند‌ بند وجودش چرا که داشت بر عرصه‌اش سانِ سوارانِ تاخته قلبش به آرزوی محالی‌ست کوک و چند، آهنگِ نبضِ دیدن یارش نواخته او آشنای میکده‌های غریب بود تنها غریب است که غریبی شناخته

#internship #PhD_position #Advertisement سلام بچه‌ها یکی از دانشجوهای لب ما که پست‌داک رفته بود استنفورد پیش چلسی فین، الان سنگاپور استاد شده و دنبال دانشجو چه برای اینترنشیپ چه دکتری می‌گرده. اطلاعات بیشتر رو پایین گذاشتم، لطفا مستقیما از طریق وبسایتشون اپلای کنین. * Research: Self-improving Embodied AI (e.g., world models / robot learning) * Opportunities: Remote internships, in-person internships (SGD 2,700/month), and PhD positions (SGD 3,500/month) * Lab: https://lema-nus.github.io/contact.html#openings * Location: Singapore offers a geopolitically neutral environment with a growing AI ecosystem (e.g. DeepMind, ByteDance) ممنون میشم به هر کس که ممکنه علاقه‌مند باشه هم این رو بفرستید