Milind Kulkarni
784 posts
I am honored to be among the new ACM Distinguished members, "for outstanding contributions in static and dynamic program analysis" 😀 acm.org/media-center/2…
English
Honored to be selected as a 2023 ACM Distinguished member! Thanks to all my mentors, collaborators, students at Rutgers CS and elsewhere
Association for Computing Machinery@TheOfficialACM
🌟Thrilled to introduce the exceptional individuals who have been inducted as ACM Distinguished Members for 2023. Their expertise & commitment to excellence make them invaluable contributors to our shared journey. bit.ly/2PH26qf Join us in celebrating these inductees! 👏
English
Milind Kulkarni retweetledi
#PurdueECE Prof. Christopher Brinton is one of 48 scientists who are being awarded grants through the @AFOSR 2024 Young Investigator Program (YIP).
This is the fourth YIP grant Brinton has received from a government agency, tying a record at Purdue.
bit.ly/brinton-afosr
English
Hi folks, we are happy to see so much excitement about Coq's renaming!
The Coq team has indeed decided to rename Coq to "The Rocq Prover".
However, the renaming is not yet effective; we hope to make it official soon. In the meantime, we encourage you to continue to use "Coq".
Type Theory Forall@ttforall
@CoqLang name change becomes real. A new roadmap releases that Bertot and Tabareau are working to upgrade Coq's new name to Rocq #change-of-name-coq---the-rocq-prover" target="_blank" rel="nofollow noopener">github.com/coq/ceps/blob/…
English
@lorisdanto @ucsd_cse I’m still not 100% sure this isn’t a shitpost
English
On this cue, I am beyond-excited to announce that I am joining the UC San Diego Department of Computer Science and Engineering @ucsd_cse as an Associate Professor this coming Fall. I will miss Madison and the great colleagues here, but looking forward to the new adventure ahead.
Nadia Polikarpova@polikarn
@lorisdanto srsly dude, you should move here
English
@RaghavMalik15 @ajay9470 I call shenanigans on “refuse to do cursed things.”
English
@ajay9470 Ah, looking elsewhere in this thread that has been suggested already. The other thing I do is refuse to do cursed things that the mypy type system won’t accept. And also occasionally cry about the fact that I don’t know Haskell well enough to be this productive in it.
English
Congrats to all the December 2023 @PurdueECE graduates!
PurdueECE@PurdueECE
At our graduation reception today, we asked our newest #PurdueECE alumni “What’s next?” No matter what your plans are, know that we’re so proud of everything you accomplished at #Purdue. We know you’ll continue to do amazing things! #purduewedidit bit.ly/ece-whatsnext
English
Milind Kulkarni retweetledi
At our graduation reception today, we asked our newest #PurdueECE alumni “What’s next?”
No matter what your plans are, know that we’re so proud of everything you accomplished at #Purdue. We know you’ll continue to do amazing things!
#purduewedidit
bit.ly/ece-whatsnext
English
I am extremely lucky to have had @PurdueProfessor as a colleague and friend for fifteen years. I am excited to see what he does for Purdue on a global scale!
PurdueECE@PurdueECE
Big news for #PurdueECE Prof. Vijay Raghunathan -- he's been named Purdue University's VP for Global Partnerships and Programs! He will be tasked with expanding Purdue’s reputation as a leading global institution. bit.ly/vijay-vp
English
Milind Kulkarni retweetledi
Big news for #PurdueECE Prof. Vijay Raghunathan -- he's been named Purdue University's VP for Global Partnerships and Programs!
He will be tasked with expanding Purdue’s reputation as a leading global institution.
bit.ly/vijay-vp
English
I just wanted to announce that the CS Department at <insert any American University> is hiring <insert number between 5 and 15> tenure track faculty in every field of Computer Science broadly defined.
If you or your friends are professorable, you should definitely apply.
English
@PurdueECE and @PurdueCS are hiring in all areas of computing! Applicants can choose to be considered by one or both departments.
Come work with us!
Purdue Computer Science@PurdueCS
At the forefront of innovation, @LifeAtPurdue is achieving excellence at scale with Purdue Computes. @PurdueCS and @PurdueECE are hiring TT assistant and associate professors in all areas. ➡️ purduecs.info/40uDJOR #PurdueComputes #AcademicJobs #FacultyRecruiting
English
Milind Kulkarni retweetledi
At the forefront of innovation, @LifeAtPurdue is achieving excellence at scale with Purdue Computes. @PurdueCS and @PurdueECE are hiring TT assistant and associate professors in all areas.
➡️ purduecs.info/40uDJOR
#PurdueComputes #AcademicJobs #FacultyRecruiting
English
@tonofcrates Our ad isn’t up quite yet, but @PurdueECE and @PurdueCS will be hiring broadly in all areas of computing.
English
Hey I'm on the academic job market. I build systems to make programmers smarter, informed by PL theory (to make correct & generalizable tools) and HCI theory (to make humanly-useful tools). Also, students say I'm "one of the best lecturers at Stanford."
English
Milind Kulkarni retweetledi
ECE@Purdue is hiring an Assistant/Associate Prof. of Software Engineering Practice. At Purdue, this type of position is non-tenure-track.
You would be our second SWeng-focused PoP, with lots of room to transform SWEng education in our Top-10 department.
careers.purdue.edu/job/West-Lafay…
English
Milind Kulkarni retweetledi
We're so excited to have these six #PurdueECE alumni on campus Thursday night to receive Outstanding Electrical and Computer Engineer (OECE) awards!
The OECE is the highest honor the School can bestow upon an alumni.
Learn about this year's recipients: bit.ly/oece-2023
English
Milind Kulkarni retweetledi
@IsilDillig @bobowang2014 That’s awesome! Take good care of @bobowang2014 before she comes to join us :-)
English
I'm thrilled to have @bobowang2014 hanging out at UT Austin as a postdoc for a year before she heads to Purdue as an assistant professor! :)
English
Milind Kulkarni retweetledi
#PurdueECE is moving on up! 📈
Computer Engineering achieved an all-time high ranking of No.7 in the latest @usnews list of Best Colleges! 🙌
Electrical Engineering is ranked No. 8! 👍
Details: bit.ly/rankings-usnwr
English