<!DOCTYPE html><html lang="en" dir="ltr" prefix="content: http://purl.org/rss/1.0/modules/content/ dc: http://purl.org/dc/terms/ foaf: http://xmlns.com/foaf/0.1/ og: http://ogp.me/ns# rdfs: http://www.w3.org/2000/01/rdf-schema# sioc: http://rdfs.org/sioc/ns# sioct: http://rdfs.org/sioc/types# skos: http://www.w3.org/2004/02/skos/core# xsd: http://www.w3.org/2001/XMLSchema#"><head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /><link rel="shortcut icon" href="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/images/favicon.ico" type="image/vnd.microsoft.icon" /><meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1, minimum-scale=1, user-scalable=no" /><meta name="description" content="Education PhD, Computer Science, The University of Virginia, 2005 MS, Computer Science, The University of Virginia, 2004. BTech, Computer Science & Engineering, Indian Institute of Technology, Varanasi, 2000. Selected Books and Publications An Experiential Introduction to Principles of Programming Languages, MIT Press, May 2022, 304 pp., ISBN 9780262045452. On Decomposing a Deep Neural Network into Modules, ESEC/FSE’2020. Fairify: Fairness Verification of Neural Networks. ICSE’23. Selected Awards and Recognitions 2022 ISU Award for Early Achievement in Departmental Leadership 2020 American Association for the Advancement of Science (AAAS) Fellow 2020 Facebook Probability and Programming Award 2018-19 Fulbright U.S. Scholar 2017 ACM Distinguished Scientist 2009 US National Science Foundation (NSF) CAREER Award Various best paper and distinguished paper awards Recent Service Roles General Chair, SPLASH 2021, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity General Chair, SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity Program Committee, 47th International Conference on Software Engineering (ICSE 2025) Program Committee, 46th International Conference on Software Engineering (ICSE 2024) Program Committee, 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024) See CV for more details. Bio Hridesh Rajan holds a Ph.D. and an MS from the University of Virginia both in Computer Science. His B.Tech. in Computer Science and Engineering is from the Indian Institute of Technology, Varanasi (formerly IT-BHU). Dr. Rajan is the Kingland Professor of Computer Science at Iowa State University, where he served three years (2017-2019) as the founding Professor-in-charge (equivalent to a director role) of Data Science Programs. During this period, he founded the annual Midwest Big Data Summer School to deliver broadly accessible data science training, served on the steering committee of the Midwest Big Data Hub, and led TADS (Theoretical and Applied Data Science), a cross-campus transdisciplinary research initiative of faculty and students interested in foundations and applications of Data Science. After this, he has been serving as the Department Chair of Computer Science since 2019, where he oversaw a significant growth period in students, faculty, staff, research funding, and philanthropic support. During his tenure as Department Chair, Dr. Rajan led the effort in diversity and inclusion leading to departmental broadening participation in computing plan and a 45% increase in female enrollment. Dr. Rajan has led the creation of new majors, minors and certificates including the M.S. degree in Artificial Intelligence, the Data Science Minor, Certificate, and B.S. degree programs, and the B.A. degree in Computer Science. Rajan is a Fellow of the American Association for the Advancement of Science (AAAS), a Fulbright Scholar, and an ACM Distinguished Scientist. His research interests are in Data Science, Software Engineering and Programming Languages where he is most known for his design of the Ptolemy programming language that showed how to modularly reason about crosscutting concerns and the Boa programming language and its infrastructure that decreases the barriers to data-driven software engineering. He has been recognized by an NSF CAREER award in 2009, by the LAS Early Achievement in Research Award in 2010, a Big-12 Fellowship in 2012, an ACM Senior Membership in 2014, an exemplary mentor for Junior Faculty award in 2017, a Kingland Endowed Professorship in 2017, an ACM Distinguished Membership in 2017, a US-UK Fulbright Scholarship in 2018, a Facebook Probability and Programming Award in 2020, and an Early Achievement in Departmental Leadership Award in 2022. He served on the editorial board of IEEE Transactions on Software Engineering and ACM SIGSOFT Software Engineering Notes, and currently serves on the advisory board of Proceedings of the ACM on Programming Languages. He was a Member of Technical Staff at Bell Labs, Lucent Technologies in Bangalore India from 2000 - 2001. Prof. Rajan is an ABET program evaluator." /><meta name="keywords" content="data science, Big Data Analytics, Cyberinfrastructure for Big Data, Specification and Verification of Data-intensive Programs, Dependable Data Science, Fairness Trustworthiness and Accountability of Machine Learning, capsule-oriented programming, panini, Boa project, Large-scale MSR, Classpects, Eos, quantified typed events, Ptolemy, Department Leadership" /><meta name="generator" content="Drupal 7 (http://drupal.org)" /><link rel="canonical" href="https://www.cs.iastate.edu/hridesh" /><link rel="shortlink" href="https://www.cs.iastate.edu/node/343" /> <title>Hridesh Rajan | Department of Computer Science</title> <link type="text/css" rel="stylesheet" href="https://www.cs.iastate.edu/files/css/css_xE-rWrJf-fncB6ztZfd2huxqgxu4WO-qwma6Xer30m4.css" media="all" /><link type="text/css" rel="stylesheet" href="https://www.cs.iastate.edu/files/css/css_vRQKQiOM1Q0cgDl1oUtTru-klpPR_-B2ONvaaCdL-uM.css" media="all" /><link type="text/css" rel="stylesheet" href="https://www.cs.iastate.edu/files/css/css_JbzzvOFGqIpolS3TUa5weM5ecHtiPmICUfUt41MLQdU.css" media="all" /><link type="text/css" rel="stylesheet" href="//cdn.theme.iastate.edu/font-awesome/css/font-awesome.css" media="all" /><link type="text/css" rel="stylesheet" href="//cdn.theme.iastate.edu/nimbus-sans/css/nimbus-sans.css" media="all" /><link type="text/css" rel="stylesheet" href="https://www.cs.iastate.edu/files/css/css_HtdL6-nis_sF_1v3Sa-EyPojrUhuy15AaSDpC5CGfbc.css" media="all" /><link type="text/css" rel="stylesheet" href="https://www.cs.iastate.edu/files/css/css_rIX8GNitzZdCUhCtGST9YSUMwZPIzkU8A6L-XOhVaDI.css" media="all" /> <!--[if (lt IE 9)&(!IEMobile)]><link type="text/css" rel="stylesheet" href="https://www.cs.iastate.edu/files/css/css__vb7XZfXeuRXjYmfY6lNTg-jy-9kxy0K07AXHAQnnDQ.css" media="all" /><![endif]--> <!--[if gte IE 9]><!--><link type="text/css" rel="stylesheet" href="https://www.cs.iastate.edu/files/css/css_jbfMdUIo1JjsGJPWeRWe90H9ddwX7M4vtKDzW955Qe4.css" media="all" /><!--<![endif]--> <!--[if lt IE 9]><script src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/html5shiv.min.js"></script><![endif]--> <script type="text/javascript" src="https://www.cs.iastate.edu/misc/jquery.js?v=1.4.4"></script><script type="text/javascript" src="https://www.cs.iastate.edu/misc/jquery-extend-3.4.0.js?v=1.4.4"></script><script type="text/javascript" src="https://www.cs.iastate.edu/misc/jquery-html-prefilter-3.5.0-backport.js?v=1.4.4"></script><script type="text/javascript" src="https://www.cs.iastate.edu/misc/jquery.once.js?v=1.2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/misc/drupal.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/modules/environment_indicator/tinycon.min.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/modules/environment_indicator/environment_indicator.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/modules/environment_indicator/color.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/modules/matomo/matomo.js?rzt4w2"></script><script type="text/javascript"><!--//--><![CDATA[//><!--var _paq = _paq || [];(function(){var u=(("https:" == document.location.protocol) ? "https://trends.ent.iastate.edu/" : "http://trends.ent.iastate.edu/");_paq.push(["setSiteId", "45"]);_paq.push(["setTrackerUrl", u+"matomo.php"]);_paq.push(["setDocumentTitle", "Hridesh%20%20%20Rajan"]);_paq.push(["trackPageView"]);_paq.push(["setIgnoreClasses", ["no-tracking","colorbox"]]);_paq.push(["enableLinkTracking"]);var d=document,g=d.createElement("script"),s=d.getElementsByTagName("script")[0];g.type="text/javascript";g.defer=true;g.async=true;g.src=u+"matomo.js";s.parentNode.insertBefore(g,s);})();//--><!]]></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/modules/field_group/field_group.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/modules/luggage/luggage_bean_menu/js/luggage_bean_menu.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/jquery.formalize.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/suitcase_facet.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/suitcase_sticky_menu.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/jquery.smartmenus.min.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/jquery.smartmenus.keyboard.min.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/suitcase_smart_menu.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/suitcase_image_floats.js?rzt4w2"></script><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/js/suitcase_responsive_tables.js?rzt4w2"></script><script type="text/javascript"><!--//--><![CDATA[//><!--jQuery.extend(Drupal.settings, {"basePath":"\/","pathPrefix":"","setHasJsCookie":0,"ajaxPageState":{"theme":"suitcase_interim","theme_token":"m3Q4WpvvxAH0v4M-L46xyiAXVUBMx-aAhhSjkU1XWS4","js":{"sites\/all\/modules\/luggage\/luggage_announcements\/js\/flexslider.load.js":1,"misc\/jquery.js":1,"misc\/jquery-extend-3.4.0.js":1,"misc\/jquery-html-prefilter-3.5.0-backport.js":1,"misc\/jquery.once.js":1,"misc\/drupal.js":1,"sites\/all\/modules\/environment_indicator\/tinycon.min.js":1,"sites\/all\/modules\/environment_indicator\/environment_indicator.js":1,"sites\/all\/modules\/environment_indicator\/color.js":1,"sites\/all\/modules\/matomo\/matomo.js":1,"0":1,"sites\/all\/modules\/field_group\/field_group.js":1,"sites\/all\/modules\/luggage\/luggage_bean_menu\/js\/luggage_bean_menu.js":1,"sites\/all\/themes\/suitcase_interim\/js\/jquery.formalize.js":1,"sites\/all\/themes\/suitcase_interim\/js\/suitcase_facet.js":1,"sites\/all\/themes\/suitcase_interim\/js\/suitcase_sticky_menu.js":1,"sites\/all\/themes\/suitcase_interim\/js\/jquery.smartmenus.min.js":1,"sites\/all\/themes\/suitcase_interim\/js\/jquery.smartmenus.keyboard.min.js":1,"sites\/all\/themes\/suitcase_interim\/js\/suitcase_smart_menu.js":1,"sites\/all\/themes\/suitcase_interim\/js\/suitcase_image_floats.js":1,"sites\/all\/themes\/suitcase_interim\/js\/suitcase_responsive_tables.js":1},"css":{"modules\/system\/system.base.css":1,"modules\/system\/system.menus.css":1,"modules\/system\/system.messages.css":1,"modules\/system\/system.theme.css":1,"sites\/all\/modules\/calendar\/css\/calendar_multiday.css":1,"sites\/all\/modules\/environment_indicator\/environment_indicator.css":1,"modules\/field\/theme\/field.css":1,"modules\/node\/node.css":1,"modules\/search\/search.css":1,"modules\/user\/user.css":1,"sites\/all\/modules\/views\/css\/views.css":1,"sites\/all\/modules\/luggage\/luggage_ckeditor\/ckeditor\/css\/ckeditor.css":1,"sites\/all\/modules\/ctools\/css\/ctools.css":1,"sites\/all\/modules\/panels\/css\/panels.css":1,"sites\/all\/modules\/biblio\/biblio.css":1,"sites\/all\/modules\/luggage\/luggage_biblio\/css\/luggage_biblio.css":1,"sites\/all\/modules\/luggage\/luggage_people\/css\/luggage_people.css":1,"sites\/all\/modules\/luggage\/luggage_video\/luggage_video.css":1,"\/\/cdn.theme.iastate.edu\/font-awesome\/css\/font-awesome.css":1,"\/\/cdn.theme.iastate.edu\/nimbus-sans\/css\/nimbus-sans.css":1,"sites\/all\/themes\/omega\/alpha\/css\/alpha-reset.css":1,"sites\/all\/themes\/omega\/alpha\/css\/alpha-mobile.css":1,"sites\/all\/themes\/omega\/alpha\/css\/alpha-alpha.css":1,"sites\/all\/themes\/suitcase_interim\/css\/formalize.css":1,"sites\/all\/themes\/omega\/omega\/css\/omega-text.css":1,"sites\/all\/themes\/omega\/omega\/css\/omega-menu.css":1,"sites\/all\/themes\/omega\/omega\/css\/omega-forms.css":1,"sites\/all\/themes\/omega\/omega\/css\/omega-visuals.css":1,"sites\/all\/themes\/suitcase_interim\/css\/suitcase.css":1,"sites\/all\/themes\/suitcase_interim\/css\/suitcase_responsive.css":1,"sites\/all\/themes\/suitcase_interim\/css\/sm-core-css.css":1,"sites\/all\/themes\/suitcase_interim\/css\/sm-menu-toggle.css":1,"sites\/all\/modules\/custom\/compsci\/compsci.css":1,"sites\/all\/modules\/luggage\/luggage_bean_card\/css\/luggage_bean_card.css":1,"sites\/all\/modules\/luggage\/luggage_bean_menu\/css\/luggage_bean_menu.css":1,"sites\/all\/modules\/luggage\/luggage_bean_stat\/css\/luggage_bean_stat.css":1,"sites\/all\/modules\/luggage\/luggage_story\/css\/luggage_story.css":1,"ie::normal::sites\/all\/themes\/omega\/alpha\/css\/grid\/alpha_fluid\/normal\/alpha-fluid-normal-12.css":1,"sites\/all\/themes\/omega\/alpha\/css\/grid\/alpha_fluid\/normal\/alpha-fluid-normal-12.css":1}},"matomo":{"trackMailto":1},"urlIsAjaxTrusted":{"\/hridesh":true},"field_group":{"fieldset":"full"}});//--><!]]></script></head><body class="html not-front not-logged-in page-node page-node- page-node-343 node-type-people context-hridesh"> <div class="page clearfix" id="page"> <header id="section-header" class="section section-header" role="banner"> <div id="section-header-container"> <div id="skip-link"> <a href="#main-content" class="element-invisible element-focusable">Skip to main content</a> </div> <div id="zone-isu-menu-wrapper" class="zone-wrapper zone-isu-menu-wrapper clearfix"> <div id="zone-isu-menu" class="zone zone-isu-menu clearfix container-12"> <div class="grid-12 region region-isu-menu" id="region-isu-menu"> <div class="region-inner region-isu-menu-inner"> <nav id="isu-menu-nav" class="navigation" aria-labelledby="isu-index isu-quick-links"> <h2 id="isu-index" class="element-invisible">ISU Index Menu</h2> <ul id="isu-index-menu" class="sm" data-sm-options="{ subIndicatorsText: '', subMenusMinWidth: '', subMenusMaxWidth: '', subIndicatorsPos: 'append' }"> <li><a href="https://www.iastate.edu" title="Iowa State University Home Page">iastate.edu</a></li> <li> <a href="https://www.iastate.edu/index/A">Index</a> <ul> <li><a href="https://www.iastate.edu/index/A/">A</a></li> <li><a href="https://www.iastate.edu/index/B/">B</a></li> <li><a href="https://www.iastate.edu/index/C/">C</a></li> <li><a href="https://www.iastate.edu/index/D/">D</a></li> <li><a href="https://www.iastate.edu/index/E/">E</a></li> <li><a href="https://www.iastate.edu/index/F/">F</a></li> <li><a href="https://www.iastate.edu/index/G/">G</a></li> <li><a href="https://www.iastate.edu/index/H/">H</a></li> <li><a href="https://www.iastate.edu/index/I/">I</a></li> <li><a href="https://www.iastate.edu/index/J/">J</a></li> <li><a href="https://www.iastate.edu/index/K/">K</a></li> <li><a href="https://www.iastate.edu/index/L/">L</a></li> <li><a href="https://www.iastate.edu/index/M/">M</a></li> <li><a href="https://www.iastate.edu/index/N/">N</a></li> <li><a href="https://www.iastate.edu/index/O/">O</a></li> <li><a href="https://www.iastate.edu/index/P/">P</a></li> <li><a href="https://www.iastate.edu/index/Q/">Q</a></li> <li><a href="https://www.iastate.edu/index/R/">R</a></li> <li><a href="https://www.iastate.edu/index/S/">S</a></li> <li><a href="https://www.iastate.edu/index/T/">T</a></li> <li><a href="https://www.iastate.edu/index/U/">U</a></li> <li><a href="https://www.iastate.edu/index/V/">V</a></li> <li><a href="https://www.iastate.edu/index/W/">W</a></li> <li><a href="https://www.iastate.edu/index/X/">X</a></li> <li><a href="https://www.iastate.edu/index/Y/">Y</a></li> <li><a href="https://www.iastate.edu/index/Z/">Z</a></li> </ul> </li> </ul> <h2 id="isu-quick-links" class="element-invisible">ISU Quick Links Menu</h2> <ul id="isu-quick-links-menu" class="sm" data-sm-options="{ subIndicatorsText: '', subMenusMinWidth: '', subMenusMaxWidth: '', subIndicatorsPos: 'append' }"> <li><a href="https://info.iastate.edu/">Directory</a></li> <li><a href="https://www.fpm.iastate.edu/maps/">Maps</a></li> <li><a href="https://web.iastate.edu/safety/">Safety</a></li> <li data-sm-reverse="true"> <a href="https://login.iastate.edu">Sign Ons</a> </li> </ul> </nav> </div></div> </div></div><div id="zone-branding-wrapper" class="zone-wrapper zone-branding-wrapper clearfix"> <div id="zone-branding" class="zone zone-branding clearfix container-12"> <div class="grid-6 region region-branding" id="region-branding"> <div class="region-inner region-branding-inner"> <a id="isu_header_wordmark" href="" title="Iowa State University Homepage"><img src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/images/isu.svg" alt="Iowa State University"></a> <span class="site-name-level-2"><a href="/">Department of Computer Science</a></span> </div></div><div class="grid-6 region region-search" id="region-search"> <div class="region-inner region-search-inner"> <div class="search-form-container has-site-name-level-2"><div class="block block-search block-form block-search-form odd block-without-title" id="block-search-form"> <div class="block-inner clearfix"> <div class="content clearfix"> <form role="search" action="/hridesh" method="post" id="search-block-form" accept-charset="UTF-8"><div><div class="container-inline"> <h2 class="element-invisible">Search form</h2> <div class="form-item form-type-textfield form-item-search-block-form"> <label class="element-invisible" for="edit-search-block-form--2">Search </label> <input title="Enter the terms you wish to search for." placeholder="Search" type="text" id="edit-search-block-form--2" name="search_block_form" value="" size="15" maxlength="128" class="form-text" /></div><div class="form-actions form-wrapper" id="edit-actions"><input type="submit" id="edit-submit" name="op" value=" " class="form-submit" /></div><input type="hidden" name="form_build_id" value="form-WWEFV3BXvgFvTSdfb3ADqgCLflueRljMDLL9u5Rr_zY" /><input type="hidden" name="form_id" value="search_block_form" /></div></div></form> </div> </div></div></div> </div></div> </div></div><div id="zone-menu-wrapper" class="zone-wrapper zone-menu-wrapper clearfix"> <div id="zone-menu" class="zone zone-menu clearfix container-12"> <div class="grid-12 region region-menu" id="region-menu"> <div class="region-inner region-menu-inner"> <nav id="main-menu-nav" class="navigation" aria-labelledby="main-menu-label"> <h2 id="main-menu-label" class="element-invisible">Main menu</h2> <!-- Mobile menu toggle button (hamburger/x icon) --> <input id="main-menu-state" class="sm-menu-state" type="checkbox" /> <label class="sm-menu-btn" for="main-menu-state"> <span class="sm-menu-btn-icon"></span> Main Menu </label> <ul id="main-menu" class="sm" data-sm-options="{ subIndicatorsText: "+", subMenusMinWidth: "", subMenusMaxWidth: "", subIndicatorsPos: "append" }"><li class="first leaf"><a href="/" title="Home">Home</a></li><li class="leaf"><a href="/future-students" title="">Future Students</a></li><li class="expanded"><a href="https://www.cs.iastate.edu/academics" title="For Students">Current Students</a><ul><li class="first leaf"><a href="/undergraduate-program" title="">Undergraduate Program</a></li><li class="last collapsed"><a href="/graduate-program" title="">Graduate Program</a></li></ul></li><li class="expanded"><a href="/people" title="">People</a><ul><li class="first leaf"><a href="/people/faculty" title="">Faculty</a></li><li class="leaf"><a href="/people/research-area" title="">Faculty by Research Area</a></li><li class="leaf"><a href="/people/staff" title="">Staff</a></li><li class="leaf"><a href="/people/140" title="">PhD Students</a></li><li class="leaf"><a href="/people/139" title="">Masters Students</a></li><li class="leaf"><a href="/people/emeritus" title="">Emeritus</a></li><li class="leaf"><a href="/people/affiliated" title="">Affiliated Faculty</a></li><li class="last leaf"><a href="/people/directory" title="Alphabetical directory of all people in the department">Directory</a></li></ul></li><li class="collapsed"><a href="/research">Research</a></li><li class="leaf"><a href="http://www.foundation.iastate.edu/comsci" title="">Support CS</a></li><li class="last expanded"><a href="/department-overview" title="">About</a><ul><li class="first leaf"><a href="/department-overview" title="">Department Overview</a></li><li class="leaf"><a href="/history">History</a></li><li class="leaf"><a href="/diversity-equity-and-inclusion-dei-computer-science">Diversity, Equity, and Inclusion (DEI) in Computer Science</a></li><li class="leaf"><a href="https://www.cs.iastate.edu/files/page/files/strategic_plan-compressed_3.pdf" title="">Strategic Plan</a></li><li class="leaf"><a href="/bs-computer-science-abet-accredited" title="">Accreditation</a></li><li class="leaf"><a href="/content/about-us">Mission Statement</a></li><li class="leaf"><a href="https://www.cs.iastate.edu/atanasoff-today-newsletter" title="">Atanasoff Today</a></li><li class="leaf"><a href="/external-advisory-council">External Advisory Council</a></li><li class="leaf"><a href="https://www.cs.iastate.edu/student-advisory-council" title=""> Student Advisory Council</a></li><li class="leaf"><a href="https://iastate.box.com/s/t3ujp1uzhq35tf2nllf03b02xxchqhu0" title="">Departmental Governance Document</a></li><li class="leaf"><a href="https://iastate.box.com/s/xhqr9cez5ujq3bj8050jxrui9kl2eofh" title="">Broadening Participation in Computing Plan</a></li><li class="leaf"><a href="/courses">Courses</a></li><li class="leaf"><a href="/industry-partnerships">Industry</a></li><li class="collapsed"><a href="/about-outreach" title="">Outreach</a></li><li class="leaf"><a href="/it-support-overview" title="System Support Group">IT Support</a></li><li class="last leaf"><a href="https://iastate.box.com/s/clpe5okd9uvnraf9l1z4pxef2hjuo1il" title="">Resources</a></li></ul></li></ul> </nav> </div></div> </div></div><div id="zone-secondary-menu-wrapper" class="zone-wrapper zone-secondary-menu-wrapper clearfix"> <div id="zone-secondary-menu" class="zone zone-secondary-menu clearfix container-12"> <div class="grid-12 region region-secondary-menu" id="region-secondary-menu"> <div class="region-inner region-secondary-menu-inner"> </div></div> </div></div> </div></header> <section id="section-content" class="section section-content" aria-label="main content"> <div id="zone-content-wrapper" class="zone-wrapper zone-content-wrapper clearfix"> <div id="zone-content" class="zone zone-content clearfix container-12"> <main class="grid-12 region region-content" id="region-content"> <div class="region-inner region-content-inner"> <a id="main-content"></a> <h1 class="title" id="page-title">Hridesh Rajan</h1> <div class="field-name-field-people-title-category"><a>Faculty</a></div> <div class="block block-system block-main block-system-main odd block-without-title" id="block-system-main"> <div class="block-inner clearfix"> <div class="content clearfix"> <article about="/hridesh" typeof="sioc:Item foaf:Document" class="node node-people node-published node-not-promoted node-not-sticky author-271 odd clearfix" id="node-people-343"> <span property="dc:title" content="Hridesh Rajan" class="rdf-meta element-hidden"></span> <div class="content clearfix"> <div class="content-type-indicator ct-People ct-node" title="People content type">People</div><div class="field field-name-field-people-position field-type-text field-label-hidden"><div class="field-items"><div class="field-item even">Kingland Professor and Department Chair</div></div></div><div class="field field-name-field-people-image field-type-image field-label-hidden"><div class="field-items"><div class="field-item even"><img typeof="foaf:Image" src="https://www.cs.iastate.edu/files/styles/people_thumb/public/people/profilepictures/dsc_0166.jpg?itok=uogPeOgw" width="150" height="200" alt="" /></div></div></div><div class="field field-name-field-people-bio field-type-text-long field-label-hidden"><div class="field-items"><div class="field-item even"><p><strong>Education</strong></p><ul><li>PhD, Computer Science, The University of Virginia, 2005 </li><li>MS, Computer Science, The University of Virginia, 2004. </li><li>BTech, Computer Science & Engineering, Indian Institute of Technology, Varanasi, 2000. </li></ul><p><strong>Selected Books and Publications</strong></p><ul><li><a href="https://mitpress.mit.edu/9780262045452/an-experiential-introduction-to-principles-of-programming-languages/">An Experiential Introduction to Principles of Programming Languages, MIT Press, May 2022, 304 pp., ISBN 9780262045452.</a></li><li><a href="https://design.cs.iastate.edu/papers/ESEC-FSE-20b/">On Decomposing a Deep Neural Network into Modules</a>, ESEC/FSE’2020.</li><li><a href="https://design.cs.iastate.edu/papers/ICSE-23a/">Fairify: Fairness Verification of Neural Networks</a>. <em>ICSE’23.</em></li></ul><p><strong>Selected Awards and Recognitions</strong></p><ul><li>2022 ISU Award for Early Achievement in Departmental Leadership</li><li>2020 American Association for the Advancement of Science (AAAS) Fellow</li><li>2020 Facebook Probability and Programming Award</li><li>2018-19 Fulbright U.S. Scholar</li><li>2017 ACM Distinguished Scientist</li><li>2009 US National Science Foundation (NSF) CAREER Award</li><li>Various best paper and distinguished paper awards</li></ul><p><strong>Recent Service Roles</strong></p><ul><li>General Chair, <a href="https://2021.splashcon.org">SPLASH 2021, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity</a></li><li>General Chair, <a href="https://2020.splashcon.org">SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity</a> </li><li>Program Committee, <a href="https://conf.researchr.org/track/icse-2025/icse-2025-research-track">47th International Conference on Software Engineering (ICSE 2025)</a></li><li>Program Committee, <a href="https://conf.researchr.org/track/icse-2024/icse-2024-technical-track">46th International Conference on Software Engineering (ICSE 2024)</a></li><li>Program Committee, <a href="https://conf.researchr.org/track/ase-2024/ase-2024-research">39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)</a></li><li>See <a href="https://www.cs.iastate.edu/files/people/cv/cv-rajan-2023.pdf">CV</a> for more details.</li></ul><hr /><p><strong>Bio</strong></p><p>Hridesh Rajan holds a Ph.D. and an MS from the<a href="https://www.virginia.edu"> University of Virginia</a> both in Computer Science. His B.Tech. in Computer Science and Engineering is from the <a href="https://iitbhu.ac.in/">Indian Institute of Technology, Varanasi</a> (formerly IT-BHU). Dr. Rajan is the Kingland Professor of <a href="https://www.cs.iastate.edu">Computer Science</a> at <a href="https://www.iastate.edu/">Iowa State University</a>, where he served three years (2017-2019) as the founding Professor-in-charge (equivalent to a director role) of <a href="https://www.datascience.iastate.edu/">Data Science Programs</a>. During this period, he founded the <a href="https://tads.research.iastate.edu/midwest-big-data-summer-school">annual Midwest Big Data Summer School</a> to deliver broadly accessible data science training, served on the steering committee of the <a href="https://midwestbigdatahub.org/">Midwest Big Data Hub</a>, and led TADS (<a href="https://www.tads.research.iastate.edu">Theoretical and Applied Data Science</a>), a cross-campus transdisciplinary research initiative of faculty and students interested in foundations and applications of Data Science. After this, he has been serving as the Department Chair of Computer Science since 2019, where he oversaw a significant growth period in students, faculty, staff, research funding, and philanthropic support. During his tenure as Department Chair, Dr. Rajan led the effort in diversity and inclusion leading to departmental broadening participation in computing plan and a 45% increase in female enrollment. Dr. Rajan has led the creation of new majors, minors and certificates including the <a href="https://www.cs.iastate.edu/ai">M.S. degree in Artificial Intelligence</a>, the <a href="https://www.datascience.iastate.edu">Data Science Minor, Certificate, and B.S. degree programs</a>, and the <a href="https://www.cs.iastate.edu/bachelor-arts-computer-science-approved-iowa-board-regents">B.A. degree in Computer Science</a>. Rajan is a <a href="https://www.aaas.org/news/aaas-announces-leading-scientists-elected-2020-fellows">Fellow of the American Association for the Advancement of Science</a> (AAAS), a <a href="https://fulbrightscholars.org/grantee/hridesh-rajan">Fulbright Scholar</a>, and an <a href="https://awards.acm.org/award-recipients/rajan_6359301">ACM Distinguished Scientist</a>. His research interests are in Data Science, Software Engineering and Programming Languages where he is most known for his design of the <a href="http://ptolemy.cs.iastate.edu/">Ptolemy programming language</a> that showed how to modularly reason about crosscutting concerns and the <a href="https://boa.cs.iastate.edu/">Boa programming language</a> and its infrastructure that decreases the barriers to data-driven software engineering. He has been recognized by an NSF CAREER award in 2009, by the LAS Early Achievement in Research Award in 2010, a Big-12 Fellowship in 2012, an ACM Senior Membership in 2014, an exemplary mentor for Junior Faculty award in 2017, a Kingland Endowed Professorship in 2017, an ACM Distinguished Membership in 2017, a US-UK Fulbright Scholarship in 2018, a Facebook Probability and Programming Award in 2020, and an Early Achievement in Departmental Leadership Award in 2022. He served on the editorial board of <a href="https://ieeexplore.ieee.org/xpl/aboutJournal.jsp?punumber=32">IEEE Transactions on Software Engineering</a> and <a href="https://sigsoft.org/">ACM SIGSOFT Software Engineering Notes</a>, and currently serves on the advisory board of <a href="https://www.sigplan.org/PACMPL/Editors/">Proceedings of the ACM on Programming Languages</a>. He was a Member of Technical Staff at Bell Labs, Lucent Technologies in Bangalore India from 2000 - 2001. Prof. Rajan is an <a href="https://abet.org/">ABET</a> program evaluator.</p></div></div></div><div class="field field-name-field-people-expertise field-type-taxonomy-term-reference field-label-inline clearfix"><div class="field-label">Area of Expertise: </div><div class="field-items"><div class="field-item even">Data Science</div><div class="field-item odd">Programming Languages</div><div class="field-item even">Software Engineering</div></div></div><div class="field field-name-field-people-education field-type-text field-label-inline clearfix"><div class="field-label">Education: </div><div class="field-items"><div class="field-item even">Ph.D., Computer Science, The University of Virginia, 2005</div><div class="field-item odd">M.S., Computer Science, The University of Virginia, 2004</div><div class="field-item even">B.Tech, Computer Science & Engineering, IIT Varanasi, 2000</div></div></div><fieldset class="group-contact field-group-fieldset form-wrapper"><legend><span class="fieldset-legend">Contact</span></legend><div class="fieldset-wrapper"><div class="field field-name-field-people-email field-type-email field-label-inline clearfix"><div class="field-label">Email: </div><div class="field-items"><div class="field-item even"><a href="mailto:hridesh@iastate.edu">hridesh@iastate.edu</a></div></div></div><div class="field field-name-field-people-phone field-type-text field-label-hidden"><div class="field-items"><div class="field-item even">+1 (515) 294-6168</div></div></div><div class="field field-name-field-people-website field-type-link-field field-label-hidden"><div class="field-items"><div class="field-item even"><a href="https://hridesh.github.io">Hridesh Rajan's Webpage</a></div></div></div></div></fieldset><div class="field field-name-field-people-cv field-type-file field-label-inline clearfix"><div class="field-label">CV: </div><div class="field-items"><div class="field-item even"><span class="file"><img class="file-icon" alt="PDF icon" title="application/pdf" src="/modules/file/icons/application-pdf.png" /> <a href="https://www.cs.iastate.edu/files/people/cv/cv-rajan-2023.pdf" type="application/pdf; length=476355">cv-rajan-2023.pdf</a></span></div></div></div><div class="field field-name-field-people-publications field-type-link-field field-label-inline clearfix"><div class="field-label">Publications: </div><div class="field-items"><div class="field-item even"><a href="https://dblp.org/pid/r/HrideshRajan.html">DBLP Publications</a></div></div></div><div class="field field-name-field-tags field-type-taxonomy-term-reference field-label-inline clearfix"><div class="field-label">Tags: </div><div class="field-items"><div class="field-item even"><a href="/search/content?f%5B0%5D=im_field_tags%3A886&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">data science</a></div><div class="field-item odd"><a href="/search/content?f%5B0%5D=im_field_tags%3A345&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Big Data Analytics</a></div><div class="field-item even"><a href="/search/content?f%5B0%5D=im_field_tags%3A1845&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Cyberinfrastructure for Big Data</a></div><div class="field-item odd"><a href="/search/content?f%5B0%5D=im_field_tags%3A1846&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Specification and Verification of Data-intensive Programs</a></div><div class="field-item even"><a href="/search/content?f%5B0%5D=im_field_tags%3A1847&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Dependable Data Science</a></div><div class="field-item odd"><a href="/search/content?f%5B0%5D=im_field_tags%3A1848&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Fairness Trustworthiness and Accountability of Machine Learning</a></div><div class="field-item even"><a href="/search/content?f%5B0%5D=im_field_tags%3A282&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">capsule-oriented programming</a></div><div class="field-item odd"><a href="/search/content?f%5B0%5D=im_field_tags%3A318&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">panini</a></div><div class="field-item even"><a href="/search/content?f%5B0%5D=im_field_tags%3A327&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Boa project</a></div><div class="field-item odd"><a href="/search/content?f%5B0%5D=im_field_tags%3A332&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Large-scale MSR</a></div><div class="field-item even"><a href="/search/content?f%5B0%5D=im_field_tags%3A333&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Classpects</a></div><div class="field-item odd"><a href="/search/content?f%5B0%5D=im_field_tags%3A284&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Eos</a></div><div class="field-item even"><a href="/search/content?f%5B0%5D=im_field_tags%3A310&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">quantified typed events</a></div><div class="field-item odd"><a href="/search/content?f%5B0%5D=im_field_tags%3A305&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Ptolemy</a></div><div class="field-item even"><a href="/search/content?f%5B0%5D=im_field_tags%3A2581&retain-filters=1" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Department Leadership</a></div></div></div> </div> <div class="clearfix"> </div></article> </div> </div></div> </div></main> </div></div></section> <footer id="section-footer" class="section section-footer" role="contentinfo"> <div id="zone-footer-wrapper" class="zone-wrapper zone-footer-wrapper clearfix"> <div id="zone-footer" class="zone zone-footer clearfix container-12"> <div class="grid-3 region region-footer-first" id="region-footer-first"> <div class="region-inner region-footer-first-inner"> <div class="block block-block block-2 block-block-2 odd block-without-title" id="block-block-2"> <div class="block-inner clearfix"> <div class="content clearfix"> <p><a href="https://www.iastate.edu" id="isu_footer_wordmark"><img src="https://www.cs.iastate.edu/sites/all/themes/suitcase_interim/images/isu_stacked.svg" alt="Iowa State University" /></a></p> <p><a href="https://las.iastate.edu">College of Liberal Arts and Sciences</a></p> </div> </div></div><div class="block block-block block-14 block-block-14 even block-without-title" id="block-block-14"> <div class="block-inner clearfix"> <div class="content clearfix"> <div class="more-link"><a href="/internal" style="font-style: normal;"><span class="fa fa-sign-in" class="margin-right: 0.25rem"></span> Internal</a></div> </div> </div></div> </div></div><div class="grid-3 region region-footer-second" id="region-footer-second"> <div class="region-inner region-footer-second-inner"> <div class="block block-block block-4 block-block-4 odd block-without-title" id="block-block-4"> <div class="block-inner clearfix"> <div class="content clearfix"> <p><strong>Department of Computer Science</strong><br />226 Atanasoff Hall<br />2434 Osborn Dr<br />Ames, IA 50011-1090<br />Phone (515) 294-4377<br /> </div> </div></div> </div></div><div class="grid-3 region region-footer-third" id="region-footer-third"> <div class="region-inner region-footer-third-inner"> <div class="block block-menu block-menu-social block-menu-menu-social odd block-without-title" id="block-menu-menu-social"> <div class="block-inner clearfix"> <div class="content clearfix"> <ul class="menu"><li class="first leaf"><a href="https://www.facebook.com/Iowa-State-University-Department-of-Computer-Science-450722168451406/" title=""><span class="fa fa-facebook-official" aria-hidden="true"></span><span class="social-title"> Facebook</span></a></li><li class="leaf"><a href="https://www.instagram.com/isucomsci/" title=""><span class="fa fa-instagram" aria-hidden="true"></span><span class="social-title"> Instagram</span></a></li><li class="last leaf"><a href="https://twitter.com/ISUComSci" title=""><span class="fa fa-twitter-square" aria-hidden="true"></span><span class="social-title"> Twitter</span></a></li></ul> </div> </div></div><div class="block block-block block-3 block-block-3 even block-without-title" id="block-block-3"> <div class="block-inner clearfix"> <div class="content clearfix"> <ul class="menu"> <li class="first leaf"> <a href="http://www.cs.iastate.edu/site-index"><i class="fa fa-list-ul" aria-hidden="true"></i>Site Index</a> </li> <li class="last leaf"> <a href="http://www.cs.iastate.edu/sitemap" title="Display a site map with RSS feeds."><i class="fa fa-sitemap" aria-hidden="true"></i>Site map</a> </li></ul> </div> </div></div> </div></div><div class="grid-3 region region-footer-fourth" id="region-footer-fourth"> <div class="region-inner region-footer-fourth-inner"> <div class="block block-block block-5 block-block-5 odd block-without-title" id="block-block-5"> <div class="block-inner clearfix"> <div class="content clearfix"> <p>Copyright © 2024 <br /> Iowa State University of Science and Technology. All rights reserved.</p><ul class="menu"> <li class="first leaf"> <a href="https://www.policy.iastate.edu/policy/discrimination">Non-discrimination Policy</a> </li> <li class="leaf"> <a href="https://www.policy.iastate.edu/electronicprivacy">Privacy Policy</a> </li> <li class="last leaf"> <a href="https://www.digitalaccess.iastate.edu">Digital Access & Accessibility</a> </li></ul> </div> </div></div> </div></div> </div></div></footer> </div> <div class="region region-page-bottom" id="region-page-bottom"> <div class="region-inner region-page-bottom-inner"> </div></div><script type="text/javascript" src="https://www.cs.iastate.edu/sites/all/modules/luggage/luggage_announcements/js/flexslider.load.js?rzt4w2"></script></body></html>
