FICS Research Director, Professor, Department of Computer & Information Science & Engineering department (CISE).
Computer Systems Security, Embedded Systems, Firmware Analysis, Mobile Security, Network Security, Adversarial Machine Learning.
Kevin Butler is a Professor in the Department of Computer and Information Science and Engineering and a University Term Professor at the University of Florida. Dr. Butler received his B.Sc. from Queen’s University, his M.S. from Columbia University, and his Ph.D. from the Pennsylvania State University. Prior to joining the University of Florida in 2014, Dr. Butler founded and led the Oregon Systems Infrastructure and Information Security (OSIRIS) Lab and co-directed the Center for Cyber Security at the University of Oregon. Dr. Butler is a Senior Member of IEEE and ACM, and received an NSF CAREER Award in 2013.
FICS Research Associate Director, Assistant Professor
CAD for Hardware Security, Formal Verification, Post-silicon Validation and Debug, High-level Synthesis Security
Farimah Farahmandi is an assistant professor in the Department of Electrical and Computer Engineering at the University of Florida. Her research has resulted in two books, seven book chapters, and several publications in premier ACM/IEEE journals and conferences. Her research has been recognized by several awards including IEEE System Validation and Debug Technology Committee Student Research Award, Gartner Group Info-Tech Scholarship, and a nomination for the Best Paper Award in ASPDAC 2017. She also has served on many technical program committees as well as organizing committees of premier ACM and IEEE conferences. Her research has been sponsored by SRC, AFRL, DARPA, and Cisco.
Full Professor, Florida International University
Wireless and Network Security, Privacy in Cyber-Physical Systems, Internet of Things and Ad Hoc Network
Dr. Kemal Akkaya is a Full Professor in the Department of Electrical and Computer Engineering with a joint courtesy appointment in the School of Computer and Information Sciences at Florida International University (FIU). He received his PhD in Computer Science from University of Maryland Baltimore County in 2005 and joined the department of Computer Science at Southern Illinois University (SIU) as an assistant professor. Dr. Akkaya was an associate professor at SIU from 2011 to 2014. He was also a visiting professor at The George Washington University in Fall 2013, a Faculty Fellow at Airforce Research Lab in Summer 2020 and visiting faculty at University of Florida Nelms Institute of Connected World in 2021. Dr. Akkaya leads the Advanced Wireless and Security Lab (ADWISE) in the ECE Department. He is also acting as the Research Director for the FIU’s Emerging Preeminent Program in Cybersecurity, which is a university wide interdisciplinary program. His current research interests include security and privacy, internet-of-things, and cyber-physical systems. His research was funded by many agencies and industries including NSF, DoE, AFRL, DHS, NSA, INL, Cisco, and TrendMicro. Dr. Akkaya is a Fellow of IEEE. He is the editor-in-chief of Springer Nature Computer Science journal, area editor of Elsevier Ad Hoc Network Journal and serves on the editorial board of IEEE Communication Surveys and Tutorials and Sensor Journals. Dr. Akkaya was the General Chair of IEEE LCN 2018 and TPC Chair for IEEE ICC Smart Grid Communications. He has served as the guest editor for many journals and in the OC/TPC of many leading network/security conferences including IEEE ICC, Globecom, INFOCOM, LCN, WCNC, ICNP and ACM WiSec. He has published over 240 papers in peer-reviewed journal and conferences with more than 17,000 citations and Google h-index of 50. He was listed among the top 2% scientists in the world according to a Stanford University study in 2021. Dr. Akkaya received FIU Faculty Senate Excellence in Research Award and FIU College of Engineering and Computing Research Award both in 2020. He has also received “Top Cited” article award from Elsevier in 2010. He also holds 7 patents. More information about his research and lab can be obtained at https://web.eng.fiu.edu/kakkaya/ and https://adwise.fiu.edu/.
SCAN Lab Director-Assistant Professor
Counterfeit detection and prevention, system and chip level reverse engineering, anti-reverse engineering, nano-imaging
Dr. Navid Asadizanjani is currently an Assistant Research Professor at the Florida Institute for Cybersecurity (FICS). He completed his Ph.D. in mechanical engineering from the University of Connecticut in the summer 2014 and continue his research as a Post-doctoral fellow at UConn CHASE prior to this position. He investigates the novel technique for integrated circuits counterfeit detection and prevention, System and chip level reverse engineering, Anti-reverse engineering, etc. His results are published in several journals and conferences. He has received several awards during his Ph.D. such as ISFA best paper award and D.E. Crow innovation prize.
Kimia Z Azar
Research Assistant Professor
Hardware Security and Trust, Supply Chain Security, Sustainability and Security, and Hardware Security Validation and Verification at IP/SoC Level
Kimia Z Azar is a research assistant professor in the Department of Electrical and Computer Engineering at the University of Florida. She received a Ph.D. degree from the Department of Electrical and Computer Engineering at George Mason University in 2021. She also received her M.S. and B.S. from the Department of Electrical and Computer Engineering at Shahid Beheshti University in 2015, and K. N. T. University in 2013, respectively. Her research interests span hardware security and trust, supply chain security, System-on-Chips security validation and verification, and IoT security. She has multiple publications in high-prestigious journals and conferences including IEEE Transactions on Computers, IEEE Transactions on VLSI, IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES), and Design Automation Conference (DAC), with awards including nominations for Best Paper Award in IEEE Computer Society Annual Symposium on VLSI (ISVLSI)’20, IEEE/ACM Conference on Computer-Aided-Design (ICCAD)’20, and IEEE Symposium on Hardware Oriented Security and Trust (HOST)’22.
Security and Privacy, Data Privacy, Applied Cryptography, Adversarial Machine Learning
Vincent Bindschaedler is an Assistant Professor in the Department of Computer & Information Science & Engineering at the University of Florida. He earned his PhD in Computer Science at the University of Illinois at Urbana-Champaign in 2018. His research interests include data privacy, applied cryptography, and the intersection of machine learning with security and privacy.
Security and control of Cyber Physical Systems, Intelligent Transportation System, Control theory, Diagnosis, Energy management
Dr. Biron is currently an assistant professor in the Electrical and Computer Engineering (ECE) Department at the University of Florida. Her research focuses on cyber physical systems with applications in intelligent transportation systems, smart power systems and integration of renewable energy sources with smart power systems. She is interested in utilizing control theory, estimation and fault diagnostics techniques to enhance the security and efficiency of cyber physical systems. She received her Ph.D. at Clemson University in 2017, her MS and BS degree in Electrical Engineering from K.N. Toosi University of Technology and University of Tehran, respectively. Prior joining University of Florida in Jan 2019, she spent 18 months at Clemson University international center of automotive research (CU_ICAR) as a post doc.
Embedded Vision, Embedded Systems, Reconfigurable Computing, Computer Architecture, Cybersecurity, System-Level Design
Professor Bobda received the Licence in mathematics from the University of Yaounde, Cameroon, in 1992, the diploma of computer science and the Ph.D. degree (with honors) in computer science from the University of Paderborn in Germany in 1999 and 2003 (In the chair of Prof. Franz J. Rammig) respectively. In June 2003 he joined the department of computer science at the University of Erlangen-Nuremberg in Germany as Post doc, under the direction of Prof JÃ¼rgen Teich. Dr. Bobda received the best dissertation award 2003 from the University of Paderborn for his work on synthesis of reconfigurable systems using temporal partitioning and temporal placement. In 2005 Dr. Bobda was appointed assistant professor at the University of Kaiserslautern. There he set the chair for Self-Organizing Embedded Systems that he led until October 2007. From 2007 to 2010 Dr. Bobda was Professor at the University of Potsdam and leader of The working Group Computer Engineering.
Energy-Efficient and secure analog/RF/mixed-signal circuits and systems for biomedical and IoT applications; time-domain sensing and sensor interfaces, human body communication, brain-channel communication for untethered neural implants, physical-layer security, low-power wireless and wireline techniques.
Baibhab received the Ph.D. degree in 2022 from the Electrical and Computer Engineering Department, Purdue University, where he worked on energy-efficient sensing and communication techniques. His industry experience includes two years as a digital design engineer/senior digital design engineer at Intel and one year as a R&D Engineer at Tejas Networks, India. He is the recipient of the Andrews and Bilsland Fellowships at Purdue University, along with multiple best paper awards including CICC 2019, CICC 2021, HOST 2018 and HOST 2019. He is a member of the IEEE, and has served as a primary reviewer for IEEE/ACM journals including JSSC, TCAS-I, TBIOCAS, TVLSI, IOT-J, TDSC, SSCL, TCAS-II, MWCL, IEEE ACCESS, TMC and JETC, and IEEE conferences including ISCAS, VLSID and EMBC. He is currently serving as an associate editor in the RFID section and a guest editor in the Antennas Array section for the Frontiers in Antennas and Propagation.
Computer networks, Internet security, wireless communications, and distributed computing.
Dr. Shigang Chen is a Professor with Department of Computer and Information Science and Engineering at University of Florida. His research interests include computer networks, Internet security, wireless communications, and distributed computing. He published more than 190 peer-reviewed journal/conference papers. He holds University of Florida Research Foundation (UFRF) Professorship and University of Florida Term Professorship from 2017 to 2020. He is a Fellow of IEEE, an ACM Distinguished Member, and a Distinguished Lecturer of IEEE Communication Society.
Artificial Intelligence, CyberNLP (at the cross-section of cyber security and natural language processing)., Human-Centered Computing, Multilingual Processing, Social Computing, Natural Language Processing.
Professor Dorr joined the Department of Computer and Information Science and Engineering at the University of Florida in 2022 where she directs the Natural Language Research (NLP) Group. Her research focuses on deep language understanding, semantics, language processing using linguistically informed machine learning models, large-scale multilingual processing, explainable artificial intelligence (AI), social computing, and detection of underlying mental states. Her recent contributions have fallen squarely in the realm of cyber-NLP, for example, responding to social engineering attacks and detecting indicators of influence. She has an affiliate appointment at the Institute for Human and Machine Cognition, is Professor Emerita at the University of Maryland, former program manager at the Defense Advanced Research Projects Agency (DARPA), and former president of the Association for Computational Linguistics. She is a Sloan Fellow, NSF Presidential Faculty (PECASE) Fellow, AAAI Fellow, ACL Fellow, and ACM Fellow. In 2020 she was named by DARPA to the Information Science and Technology (ISAT) Study Group. She holds a Master’s and a Ph.D. in computer science from the Massachusetts Institute of Technology, with a Bachelor’s degree in computer science from Boston University.
Natalie C. Ebner
Usable Security, Social Engineering
Dr. Natalie Ebner is an Associate Professor in the Department of Psychology in the College of Liberal Arts and Sciences at University of Florida. She holds an adjunct faculty position in the Department of Aging & Geriatric Research in the College of Medicine at UF and also affiliated with the Institute on Aging and the McKnight Brain Institute on campus. She is currently working on human factors on security and usable security, Her research interests include defending Internet users against social engineering and cueing developers about security blind spots in APIs. Dr. Ebner is a University of Florida Term Professor (2016-2019).
Renato J. Figueiredo
Virtualization, Distributed Systems, Overlays and Security in the context of Virtualized Environments
Renato J. Figueiredo is an Professor at the Department of Electrical and Computer Engineering of the University of Florida. He has co-chaired the technical programs of the ICAC-2010 and HPDC-2013 conferences. Dr. Figueiredo’s research has contributed to systems that were among the first to apply resource virtualization technique in the context of Grid and cloud computing, including In-VIGO, IPOP, and Grid Appliance.
Hardware Security, Hardware Trojan Detection and Prevention, Security of the Electronics Supply Chain, Reverse Engineering, and Anti-Reverse Engineering.
Domenic Forte is an Associate Professor in the Department of Electrical and Computer Engineering. He received a Ph.D. in Electrical and Computer Engineering from the University of Maryland in 2013. Before coming to the University of Florida, Dr. Forte was an assistant professor in the Electrical and Computer Engineering (ECE) Department a the University of Connecticut. He is a co-author of the book “Counterfeit Integrated Circuits- Detection an Avoidance.” Dr. Forte received the Presidential Early Career Award for Scientists and Engineers (PECASE) in 2019, an NSF CAREER award in 2017, and an ARO Young Investigator Award in 2016.
Juan E. Gilbert
CISE Department Chair, Andrew Banks Family Preeminence Endowed Professor
Hardware Security, Hardware Trojan Detection and Prevention, Security of the Electronics Supply Chain, Reverse Engineering, and Anti-Reverse Engineering.
Dr. Juan E. Gilbert is the Andrew Banks Family Preeminence Endowed Professor and Chair of the Computer & Information Science & Engineering Department at the University of Florida where he leads the Human Experience Research Lab (HXRL). His research focuses on Human-Centered Computing (HCC) which integrates people, technology, information, policy, culture and more to address societal issues. The goal of his research is to design, implement and evaluate innovative solutions to real-world problems. He received his Ph.D. and M.S. in Computer Science from the University of Cincinnati and his B.S. in Systems Analysis from Miami University in Ohio.
Differential privacy, multi-agent autonomy, and network science.
Matthew Hale is an Assistant Professor of Mechanical and Aerospace Engineering at the University of Florida. He received his BSE in Electrical Engineering summa cum laude from the University of Pennsylvania in 2012, and his MS and PhD in Electrical and Computer Engineering from the Georgia Institute of Technology in 2015 and 2017, respectively. His research interests include multi-agent systems, mobile robotics, privacy in control, and distributed optimization. He received an NSF CAREER Award in 2020, an ONR YIP in 2022, and an Excellence Award for Assistant Professors at the University of Florida in 2022 (for being one of the 10 most outstanding assistant professors across all disciplines at the university).
Research Interests: Eye tracking, Visual attention, Graphics/VR/AR/XR, Human-centered Computing, Privacy and Security for Mixed Reality
Dr. Eakta Jain is an Associate Professor of Computer and Information Science and Engineering at the University of Florida. She received her PhD and MS degrees in Robotics from Carnegie Mellon University and her B.Tech. degree in Electrical Engineering from IIT Kanpur. She has industry experience at Texas Instruments R&D labs, Disney Research Pittsburgh, and the Walt Disney Animation Studios. Dr. Jain is interested in the safety, privacy and security of data gathered for user modeling, particularly eye tracking data. Her areas of work include graphics and virtual reality, generation of avatars, human factors in the future of work and transportation. Her research has been nominated for multiple best paper awards and been funded through faculty research awards from Meta and Google, federal funding from the National Science Foundation, National Institute of Mental Health, US Department of Transportation, and state funding from the Florida Department of Transportation. Dr. Jain served as the Technical Program Chair for ACM Symposium on Eye Tracking Research (2020) and Applications and ACM/Eurographics Symposium on Applied Perception (2021). She currently leads the human factors sub-group at the University of Florida Transportation Institute and is a SIGGRAPH EC Director (2022-2025).
Hadi M Kamali
Research Assistant Professor
Hardware Security, Security of the Electronics Supply Chain, IC Anti-Piracy and Anti-Reverse Engineering.
Hadi M Kamali is a research assistant professor in the the Department of Electrical and Computer Engineering at University of Florida. He received his Ph.D. degree from the Department of Electrical and Computer Engineering (ECE) at George Mason University, 2021. His research delves into hardware security with a particular focus on exploiting IP protection techniques, design-for-trust for VLSI circuits, and CAD frameworks for security (design-for-security), in which he has numerous publications in top journals and conferences including IEEE Transactions on Computers, IEEE Transactions on VLSI, IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES), and Design Automation Conference (DAC), with awards including nominations/wining of Best Paper Award in ICCAD’19, ISVLSI’20, ICCAD’20, IEEE CAS 2020, and IEEE HOST 2022.
Analog/Mixed-Signal IC Security, System-level and Circuit-level Trojan detection, Supply chain assurance through circuits, security for embedded systems
Nima Maghari is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Florida. His area of research is analog/mixed-signal IC design ranging from high-performance e analog-to-digital converters (ADC), digital-to-analog converter (DAC), phase-locked-loops (PLL), low power regulators (LDOs) to Physical Unclonable functions (PUFs), innovative circuits for counterfeit protection and camouflage, system level verification through circuit behavior among many others. He is a Senior Member of IEEE, Associate Editor of IEEE Solid-State Circuit Letters and has served as Data Converter Subcommittee chair at IEEE Custom-Integrated Circuits Conference (CICC) for past 4 years. His research has been sponsored by NSF, Qualcomm, Texas Instruments, SRC, KCP and Cisco.
Hardware Security and Trust, Embedded and Cyber-Physical Systems, Energy-aware Computing, System-on-Chip Security Validation, Formal Verification, Post-Silicon Debug
Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering at the University of Florida. He received his Ph.D. in Computer Science and Engineering from the University of California at Irvine in 2004. His research has been recognized by several awards including the NSF CAREER Award, IBM Faculty Award, three Best Paper Awards, and EDAA Outstanding Dissertation Award. Prof. Mishra is an ACM Distinguished Scientist and a Senior Member of IEEE.
Diversity Director, Associate Professor
Interdisciplinary Computer Security, employing biology and warfare strategies to protect OS kernels and understanding the nature of software vulnerabilities and social engineering attacks.
Daniela Oliveira received her BS and MS degree in Computer Science from the Federal University of Minas Gerais in Brazi in 1999 and 2001, respectively. After working as a software engineer for three years, she started her Ph program at the Department of Computer Science at the University of California, Davis. In June 2010, she received her Ph.D. in Computer Science from the UC Davis, where she specialized in computer security and operating systems.
Research Assistant Professor
Hardware-assisted Cybersecurity, Security Evaluation of Emerging Nanodevices, Hardware Security Primitive Design.
Fahim Rahman is currently a Research Assistant Professor with the Electrical and Computer Engineering Department, University of Florida, Gainesville, FL, USA. He received his Ph.D. in electrical and computer engineering from the University of Florida, Gainesville, USA in 2018. He received his BS in electrical and electronic engineering from Bangladesh University of Engineering and Technology, Bangladesh and MS in electrical and computer engineering from the University of Connecticut, USA in 2015, respectively. His current research is in the domain of hardware and cybersecurity and trust including investigation of hardware security primitives, CAD for security and automatic assessment, FPGA security, electronic supply-chain security, and hardware-assisted cybersecurity. He published 3 book chapters and 15+ peer-reviewed papers. His research has been sponsored by SRC, AFOSR, AFRL, DARPA, Cisco, TI, and NIST. He is a member of IEEE and ACM.
Cyber-physical System Security, Sensor Security, Embedded System, Interdisciplinary Cyber Security & Privacy
Dr. Sara Rampazzi is an assistant professor in the Department of Computer and Information Science and Engineering at the University of Florida. Dr. Rampazzi’s research areas include cyber-physical systems security, embedded systems design, modeling, and simulation techniques with applications in Healthcare, Automotive, and the Internet of Things. Dr. Rampazzi’s work focuses on investigating security risks and developing hardware and software defense strategies against hardware-based attacks. Her research has been published in several journals and conferences and has been covered by several media outlets. Dr. Rampazzi has received the Medtronic Outstanding Research Contributor Recognition in 2020 and her research on secure sensor technology for N95 masks decontamination processes has been sponsored by NSF.
SoC and platform security; IoT and automotive robustness; Functional Safety; Domain-Specific System Architecture; Post-Silicon Validation; Formal Methods
Sandip Ray is a Professor at the Department of Electrical and Computer Engineering, University of Florida. His research involves developing trustworthy, secure, reliable computing devices and systems through a combination of architecture, synthesis, and validation technologies. Before joining University of Florida, Dr. Ray worked for several years in various capacities in industrial research labs and R&D organizations, leading research on various topics including automotive safety and security, System-on-Chip (SoC) security architecture and validation for mobile and IoT devices, post-silicon validation, and formal methods.
Cryptography, with an emphasis on the theory and practice of hash functions, Authenticated Encryption, and other symmetric-key primitives.
Tom Shrimpton is a Professor in the Department of Computer & Information Science & Engineering at the University of Florida. Recently, he has worked more broadly in applied cryptography. In 2009, Dr. Shrimpton was the recipient of a National Science Foundation CAREER award.
Catia S Silva
Machine learning, signal processing, computational neuroscience, natural language processing, cybersecurity
Catia Silva is a Lecturer in the Department of Electrical and Computer Engineering at the University of Florida. Dr. Silva earned her Ph.D. and M.S. in Electrical and Computer Engineering from the University of Florida in 2018 and 2016, respectively, a M.S. in Biomedical Engineering from the University of Porto in 2012, and her B.S. in Applied Mathematics from the University of Porto in 2010. Dr. Silva’s research interests include machine learning, signal processing, natural language processing, cybersecurity and computational neuroscience
Master Legal Skill Professor
Child abuse and neglect, juvenile justice, children’s online privacy, and children’s online safety.
Stacey Steinberg is the supervising attorney for the Gator Team Child Juvenile Law Clinic. She also serves as Director for the Center on Children and Families. Professor Steinberg’s research explores the intersection of a parent’s right to share online and a child’s interest in privacy. She is an internationally sought after expert on children’s privacy and sharenting. Professor Steinberg’s work has been cited by countless news and research organizations, including NPR, the New York Times, the Washington Post, CNN, and the children’s rights arm of the United Nations, UNICEF. She has presented her children’s privacy/sharenting research to a variety of audiences, including to the American Academy of Pediatrics, the Association of American Law Schools, the University of Geneva, the Swiss Institute of Comparative Law, and events affiliated with the United Nations Convention on the Rights of the Child. Professor Steinberg is the author of Growing Up Shared: How Parents Can Share Smarter on Social Media and What You Can Do to Keep Your Family Safe in a No-Privacy World.
Prior to joining the law faculty, Professor Steinberg served as a felony prosecutor handling crimes involving child abuse, child pornography, domestic violence, and rape. She has served as lead counsel in hundreds of contested hearings. As a practitioner, Steinberg routinely provided training to lawyers, police officers, and social workers on matters relating to child abuse, neglect, and trial procedure. Professor Steinberg has also worked as a Senior Attorney for Children’s Legal Services.
Intel Charles E. Young Preeminence Endowed Chair Professor, Chair of the Department of Electrical and computer Engineering
Hardware Security and Trust, Electronics Supply Chain Security, Counterfeit IC Detection and Prevention, and Reliable Circuits and Systems Design.
Mark M. Tehranipoor is currently the Intel Charles E. Young Professor in Cybersecurity at the University of Florida. Prior to joining University of Florida, Dr. Tehranipoor served as the founding director of the Center for Hardware Assurance, Security, and Engineering (CHASE) and the Comcast Center of Excellence in Security Innovation (CSI) at the University of Connecticut. He also co-founded a new IEEE International Symposium on Hardware-Oriente Security and Trust (HOST) and the Trust-HUB forum.
Professor, John and Mary Lou Dasburg Preeminent Chair in Engineering
Security of Mobile Systems with a concentration on Telecommunications Infrastructure and Mobile Devices, Internet security, Applied Cryptography.
Patrick Traynor is an Professor in the Department of Computer and Information Science and Engineering (CISE) a the University of Florida. Dr. Traynor earned his Ph.D. and M.S. in Computer Science and Engineering from Pennsylvania State University in 2008 and 2004, respectively, and his B.S. in Computer Science from the University of Richmond in 2002. After promotion and tenure in the School of Computer Science at Georgia Tech, he joined the University of Florida in 2014 as part of the UF Rising Preeminence Hiring Program.
Assistant Professor Florida International University
Security for Cyber-Physical Systems, Internet of Things, Security for Critical Infrastructure Networks, Wireless and Mobile Device Security, Big Data Security.
Dr. A. Selcuk Uluagac is currently an Assistant Professor in the Department of Electrical and Computer Engineering at Florida International University, where he leads the Cyber-Physical Systems Security Lab (CSL). He has served a member of the research faculty as a Senior Research Engineer in the School of Electrical and Computer Engineering at The Georgia Institute of Technology and prior to Georgia Tech, he was a Senior Research Engineer at Symantec.
Joseph N. Wilson
Programming Languages, Machine Learning, Cyber Security
Joseph N. Wilson is an Associate Professor in the Department of Computer and Information Science and Engineering. His primary goal is to help our next generation of graduates avoid designing and writing malware-ready programs. He i the holder of the GPEN (Penetration Tester), GXPN (Exploit Research and Advanced Penetration Tester), an GWAPT (Web Application Penetration Tester) GIAC Certifications.
Formal Methods, Software Analysis, Systems Security, IoT Security
Dr. Tuba Yavuz is an Associate Professor of Electrical and Computer Engineering at the University of Florida. She has received her Ph.D. in Computer Science from the University of California, Santa Barbara in 2004. Her research is in the intersection of formal methods, software engineering, and systems security. She has developed techniques and tools to formally verify infinite-state systems (ALV), to detect concurrency bugs in Java programs (JRF and CHIMP), and to perform model extraction for firmware (FirmUSB, ProXray) and device drivers (MOXCAFE). She is also interested in IoT security and privacy.
Advised by: Mark Tehranipoor
Electronic Design Automation, VLSI CAD, VLSI Physical Design, Hardware Security, Artificial Intelligence and Machine Learning.
Dr. Dey is a Postdoctoral Research Associate at the Department of Electrical and Computer Engineering (ECE), University of Florida, Gainesville, FL, US. He received his Master’s and Ph.D. from the Department of Computer Science and Engineering, IIT Guwahati in March 2021, specializing in Machine Learning techniques for Electronic Design Automation (EDA). Prior to joining IIT Guwahati, he received his Bachelor’s in Electronics and Telecommunication Engineering from Assam Engineering College in July 2014. His domain of expertise is EDA, VLSI CAD, VLSI Physical Design, and Hardware Security, Artificial Intelligence and Machine Learning. His research works have been published in reputed EDA journals/conferences, e.g., ACM TODAES journal, IEEE/ACM DATE, IEEE ISVLSI, VLSID conferences. He has served as a technical program committee member, expert reviewer, and organizing committees of premier ACM and IEEE conferences, including Design Automation Conference (DAC). He is also serving as research paper reviewer of reputed IEEE, ACM, IET, Springer journals.
Advised by: Natalie Ebner
Cognitive Aging, Judgment and Decision Making, Cybersecurity, Affective Neuroscience, Deception, Misinformation, Neural Network Modeling
Dr. Pehlivanoglu is a Postdoctoral Associate in the Department of Psychology at the University of Florida. She received her Ph.D. degree in Psychology with a specialization on Cognitive Aging from the Georgia Institute of Technology in 2018. Dr. Pehlivanoglu’s research seeks to uncover interindividual differences in trust-related decision making and delineate conditions under which individuals become more trusting in adulthood and aging. Specifically, her research focuses on identifying cognitive, socioemotional, and neurobiological profiles in real-life and simulated deceptive contexts across the adult lifespan. Outside of analyzing data and writing papers, Dr. Pehlivanoglu enjoys biking, cooking, and tasting different cuisines and cocktails.
Sree Ranjani Rajendran
Advised by: Mark Tehranipoor
VLSI Testing; Hardware Verification; Hardware Security and Trust, with emphasis on: anti-counterfeiting, anti-Trojan, authentication, & anti-piracy solutions.
Sree Ranjani Rajendran is currently a postdoctoral associate with the Electrical and Computer Engineering Department, University of Florida, Gainesville, FL, USA. She received her Ph.D. in Electronics and Communication Engineering from Amrita Vishwa Vidyapeetham, India. She also worked as a postdoctoral fellow in the Computer Science Department, Indian Institute of Technology Madras. She had authored about 27 research articles published in refereed conference proceedings and renowned journal publications.