Jon Awbrey · @Inquiry
175 followers · 1069 posts · Server mathstodon.xyz@emondb @hochstenbach @bblfish @josd
Hi Bruno,
I took a course & independent study on #AutomaticTheoremProving with David #Plaisted when he was still at #UIUC in 84–85. It was mostly about #ResolutionUnification & #NaturalDeduction provers but I was already on a different path by then as I had been working on #Peirce's & #SpencerBrown's versions of #LogicalGraphs in a computational vein since the late 60s. I'll discuss the differences that make a difference between those paradigms as we go.
#LogicalGraphs #spencerbrown #Peirce #naturaldeduction #resolutionunification #uiuc #plaisted #automatictheoremproving
5tranman · @5tranman
75 followers · 200 posts · Server sfba.social
· @karmanyaahm
87 followers · 1318 posts · Server social.linux.pizza
Jiaqi Ma · @Jiaqi_Ma_
15 followers · 1 posts · Server mastodon.socialHi Mastodon :mastodon: ! This is Jiaqi Ma. I'm currently a postdoc at #Harvard Business School. I'm also an incoming assistant professor in the School of Information Sciences at #UIUC.
My research interests include trustworthy machine learning, graph machine learning, and recommender systems. Recently, I'm also dipping into explainable ML and NLP.
More of me can be found at https://www.jiaqima.com
#introduction #harvard #uiuc #machinelearning #trustworthyml #GraphML #recsys #xai
Hunter · @hunter
0 followers · 1 posts · Server genomic.social#Introduction Hi! I am a graduate student at #UIUC in the department of #computerscience with an interest in #bioinformatics and #compbio, especially as they relate to #agriculture and #synbio. I have full-time experience working with researchers and scientists to turn their research-quality code into production-ready software. I mainly work in #python but also experienced with #bash and #go (and sometimes tolerate #R 🙂). Other interests include biking, sailing, and guitar
#introduction #uiuc #computerscience #bioinformatics #compBio #agriculture #synbio #python #bash #go #r
Santiago Nunez-Corrales · @snunezcr
8 followers · 2 posts · Server mas.toGrateful to the Center for Global Studies for the opportunity to design and teach a course on Computer Simulation for Global Risk at #UIUC on SP 2023!
We will use global studies, complexity science, and computer simulation to understand emerging global risks.
Syllabus: https://m.box.com/shared_item/https%3A%2F%2Fuofi.box.com%2Fs%2Fhbv07coeu0ycj6e87mk92z22e2nt083q
Jason Lee · @thejasonlee
6 followers · 29 posts · Server mastodon.auHi fellow Mastodonians! Time for my #introduction.
Professionally I lead a team of engineers, data scientists, data engineers and UX researchers at the worlds largest mining company: BHP.
My team develops software and studies to improve the performance of autonomous vehicles in some very large mines in Australia. ❤️
I previously worked at HP and Shell.
I have a BS in #CS from #CUBoulder, a masters degree in Petroleum Engineering (#pete) from #tamu and am nearly done with a masters in CS from the University of Illinois at Urbana-Champaign (#uiuc).
My interests include #USA, #america, #Australia, #ethicalAI, #software, #statistics, #stasticallearning, #datascience, #informationvisualization, #visualization, muticultural families, #OlympicLifting, #crossfit, #scuba, #surfing and #BostonTerriers. I also like looking at the #micromobility cars that I hope will soon be everywhere in big cities around the world.
#introduction #cs #cuboulder #pete #tamu #uiuc #usa #america #australia #ethicalai #software #statistics #stasticallearning #datascience #informationvisualization #visualization #olympiclifting #crossfit #scuba #surfing #bostonterriers #micromobility
Steve Nesbitt · @70_dbz
0 followers · 2 posts · Server mastodon.world#introduction time! I’m a #professor od #AtmosphericScience at #uiuc that studies #clouds #rain #snow #storms with #radar #satellites and #models. I also use #artificialintelligence and #machinelearning. I am the incoming co-chief editor of #JTECH. I love #hiking #biking #food #travel and #technology.
#introduction #professor #AtmosphericScience #uiuc #clouds #rain #snow #storms #radar #satellites #models #artificialintelligence #machinelearning #jtech #hiking #biking #food #travel #technology
Steve Nesbitt · @70_dbz
0 followers · 1 posts · Server mastodon.world
Rebecca M. Reck (she/her) · @RebeccaEE
0 followers · 1 posts · Server universeodon.comHi! In short, I'm a geek.
#introduction
I'm a professor of #bioengineering at #UIUC and I do research in #EngineeringEducation.
In my spare time, I like #running, #photography, and making #techjewelry.
I'm here to find an #academicmastodon community because I very much appreciated #academictwitter.
#introduction #bioengineering #uiuc #engineeringeducation #running #photography #techjewelry #academicmastodon #academictwitter
Rebecca M. Reck (she/her) · @RebeccaEE
93 followers · 12 posts · Server universeodon.comHi! In short, I'm a geek.
#introduction
I'm a professor of #bioengineering at #UIUC and I do research in #EngineeringEducation.
In my spare time, I like #running, #photography, and making #techjewelry.
I'm here to find an #academicmastodon community because I very much appreciated #academictwitter.
#introduction #bioengineering #uiuc #engineeringeducation #running #photography #techjewelry #academicmastodon #academictwitter
Curtis Perry · @cperry
59 followers · 68 posts · Server mastodon.sdf.org
Ok, #Introduction. I’m an #academic at #uiuc, where I teach ren/earlymod lit and (quite often) #Shakespeare. I wrote a book that came out in the depths of the pandemic 😕 that I’d like for you to know about, called Shakespeare and Senecan Tragedy. It is more searching than its title implies, perhaps. I’m currently an Associate Dean, but this will pass. I’m also an enthusiastic amateur #guitar player and singer and I’m always on the lookout for new songs to learn.
#introduction #academic #uiuc #shakespeare #guitar
Curtis Perry · @cperry
59 followers · 68 posts · Server mastodon.sdf.orgOk, #Introduction. I’m an #academic at #uiuc, where I teach ren/earlymod lit and (quite often) #Shakespeare. I wrote a book that came out in the depths of the pandemic 😕 that I’d like for you to know about, called Shakespeare and Senecan Tragedy. It is more searching than it’s title. I’m currently an Associate Dean, but this will pass. I’m also an enthusiastic amateur #guitar player and singer and I’m always on the lookout for new songs to learn.
#introduction #academic #uiuc #shakespeare #guitar
Tony Yannarell · @acyann
18 followers · 10 posts · Server fediscience.org#introduction I'm a #microbial #ecologist who is also interested in #data-science and #rethinking-statistics. I teach #ecology and #statistics at the #UniversityOfIllinois #UIUC
#uiuc #universityofillinois #statistics #ecology #rethinking #data #ecologist #microbial #introduction