FMitf 2024 HOME Current PIs Aspiring PIs;ORGANIZATION 

Participants

Poster and slides information will be added ahead of meeting.

Current PIs                                             Jump to Aspiring PIs
First NameLast NameAffiliationNSF Project Award Number(s)poster TitleSlide
ManeeshAgrawalaStanford University2219865  
AmalAhmedNortheastern University2220408Principles for Modular Probabilistic Programming and InferenceSlide
ChrisAmatoNortheastern University2319500Safe Multi-Agent Reinforcement Learning with ShieldingSlide
AndrewAppelPrinceton University2219757Formally Verified Numerical MethodsSlide
VenkatArunUniversity of Texas at Austin2422130  
TaylorBerg-KirkpatrickUC San Diego2422214 Slide
GilbertBernsteinUniversity of Washington2319181  
NoahBertramCornell University2319186Formal verification of economic mechanismsSlide
DavidBindelCornell University2219757Formally Verified Numerical MethodsSlide
MatthewBoltonUniversity of Virginia2319318  
BorzooBonakdarpourMichigan State University2422013  
AntonBurtsevUniversity of Utah2220410  
NathanielCadyUniversity at Albany2409796Synthesis and Verification of In-Memory Computing SystemsSlide
PhuongCaoUniversity of Illinois2319190  
MyraCohenIowa State University2422127  
Marcelo d'AmorimAssociate Professor2319472  
LorisD'AntoniUCSD2422214 Slide
BrianDemskyUniversity of California, Irvine2220410  
YufeiDingUCSD2422169  
KarthikDuraisamyUniversity of Michigan2219997Foundational Approaches for End-to-end Formal Verification of Computational PhysicsSlide
RickardEwetzUniversity of Florida2319399Synthesis and Verification of In-Memory Computing SystemsSlide
RobertFindlerNorthwestern2421308  
LuisGarciaUniversity of Utah2220312A Formal Verification and Implementation Stack for Programmable Logic ControllersSlide
FelixHähnleinUniversity of Washington2219864  
Zohair RazaHassanRochester Institute of Technology2421977  
StevenHoltzenNortheastern University2220408Principles for Modular Probabilistic Programming and InferenceSlide
PengHuangUniversity of Michigan2318937  
Jean-BaptisteJeanninUniversity of Michigan

2219997; 2422028

Foundational Approaches for End-to-end Formal Verification of Computational PhysicsSlide
GowthamKakiUniversity Of Colorado Boulder2422136  
EunsukKangCarnegie Mellon University2319317  
EmmanouilKapritsosUniversity of Michigan2318954Simplifying End-to-End Verification of High-Performance Distributed SystemsSlide
ZacharyKincaidPrinceton University2421981  
OwolabiLegunsenCornell University2319473  
JinyangLiNew York University2220407  
LiyiLiIowa State University2422127  
WyattLloydPrinceton University2241719  
MeiyiMaVanderbilt University2220401Generative Neural Network Verification in Medical Imaging AnalysisSlide
RatulMahajanUniversity of Washington2219863Specifying and Verifying Network-wide Properties of Dynamic Data PlanesSlide
KonstantinosMamourasRice University2319572  
Chris MartensNortheastern University2330961  
JamesMcCannCarnegie Mellon University2319182  
KennethMcMillanUniversity of Texas at Austin2422130  
DanielMelcerNortheastern University2319500Safe Multi-Agent Reinforcement Learning with ShieldingSlide
AndrewMinerIowa State University2422175  
StefanMitschDePaul University2427581A Formal Verification and Implementation Stack for Programmable Logic ControllersSlide
DanielMoyerVanderbilt University2220401Generative Neural Network Verification in Medical Imaging AnalysisSlide
SantoshNagarakatteRutgers University2422076  
SrinivasNarayanaRutgers University2019302  
Peter-MichaelOseraGrinnell College2422174  
JensPalsbergUCLA2422170  
BryanParnoCarnegie Mellon University2318953Simplifying End-to-End Verification of High-Performance Distributed SystemsSlide
NoahPattonUniversity of Texas at Austin2319471  
RuzicaPiskacYale University2219995  
XiaokangQiuPurdue University2319425Flexible Data Plane ProgrammingSlide
SanjayRaoPurdue University2319425Flexible Data Plane ProgrammingSlide
SriramSankaranarayananUniversity of Colorado Boulder2422136  
PatrickSchaumontWorcester Polytechnic Institute2219810  
JosephTassarottiNew York University2319168  
EmmaToschNortheastern University2330961  
DavidWalkerPrinceton University2219862Specifying and Verifying Network-wide Properties of Dynamic Data PlanesSlide
ChaoWangUniversity of Southern California2220345  
RenWangIllinois Institute of Technology2319243Towards Verified Robustness and Safety in Power System-Informed Neural NetworksSlide
XiaoWangNorthwestern University2318975  
XinyuWangUniversity of Michigan2318937  
DianxiangXuUniversity of Missouri - Kansas City2318891SMT-Based Reachability Analyzer of NGAC PoliciesSlide
KaidiXuDrexel University2319242Towards Verified Robustness and Safety in Power System-Informed Neural NetworksSlide
MengjiaYanMIT2422052  
KaiyuanYangRice University2319572  
CunxiYuUniversity of Maryland, College Park2349461  
ZhenZhangUtah State University2422206  
ZhiruZhangCornell University2019306  

Note: "Slide" w/o url indicates receipt of poster but not slide.

Aspiring PIs                                             Back to Current PIs
First NameLast NameAffiliationSlide
AmrAishaUniversity of Arizona 
TomasCernyUniversity of ArizonaSlide
LuFengUniversity of Virginia 
MilosGligoricThe University of Texas at Austin 
JorgeGonzalezFlorida Atlantic University 
BenGreenmanUniversity of UtahSlide
LipsyGuptaKansas State University 
SankhaGuriaUniversity of Kansas 
XudongHeFlorida International UniversitySlide
AndrewHirschUniversity at Buffalo 
Khaza AnuarulHoqueUniversity of Missouri-ColumbiaSlide
KonstantinosKallasUniversity of California, Los Angeles 
SarfrazKhurshidUniversity of Texas at Austin 
MartinKongThe Ohio State University 
MortezaLahijanianUniversity of Colorado Boulder 
Konstantin
LauferLoyola University Chicago 
EricMercerBrigham Young UniversitySlide
AliMiliNJITSlide
MargaretMyersThe University of Texas @ Austin 
VijayNagarajanUniversity of Utah 
LuanNguyenUniversity of Dayton 
SreepathiPaiUniversity of Rochester 
PhuPhungUniversity of Dayton 
SwarnPriyaVirginia Tech 
RahulPurandareUniversity of Nebraska–Lincoln 
IvanRuchkinUniversity of FloridaSlide
GokarnaSharmaKent State University  
ElenaShermanBoise State University 
GagandeepSinghUIUC 
CarolSmidtsThe Ohio State University 
SudarshanSrinivasanNorth Dakota State University  
JianwenSuUniv of California, Santa Barbara 
ChengTanNortheastern University 
SaeidTizpaz-NiariUniversity of Texas at El Paso 
Robertvan de GeijnThe University of Texas @ Austin 
NikolaosVasilakisBrown University 
AnduoWangTemple University 
WenxiWangThe University of Virginia 
YuWangUniversity of Florida 
JianXiangUNC Charlotte 
Frank (Weifeng) Xu University of BaltimoreSlide
QianchuanYeUniversity at Buffalo, SUNY 
HaoZhengUniversity of South Florida 
Black and Gold up arrow with word "TOP" underneath
NSF [Inc. lead organizers]
First NameLast NameAffiliation
Nina AmlaNational Science Foundation
AnindyaBanerjee*National Science Foundation
DilmaDa SilvaNSF and Texas A&M University
PavithraPrabhakar*National Science Foundation

 * NSF Leads; see "Organization" for details [inc. meeting co-chairs and local organizers]