BF Team
 |
Irena Bojanova is a computer scientist at NIST and the lead of the Bugs Framework (BF) project. Her
research interests are in formal methods, distributed systems, and program analysis for security. Irena
received her Ph.D. in Mathematics/ Computer Science from the Bulgarian Academy of Sciences. She is a senior
member of IEEE and serves as the Editor-in-Chief of the IT Professional magazine and as the Editor of the
Education column in IEEE Computer magazine. |
 |
Carlos E. C. Galhardo is a researcher at the Brazilian National Institute of Metrology, Quality and
Technology, INMETRO. He is working at NIST as a guest researcher with the SAMATE--BF team. He earned his
Ph.D in Physics in 2010 from Universidade Federal Fluminense. His research interests include data analysis,
physics of information and software security in embedded systems (measurement instruments). |
 |
Farhan Nadeem is an aspiring computer scientist at NIST. An avid technology enthusiast, he is currently
majoring in Computer Engineering at the University of Maryland. He is interested in programming, and is
studying Java. As a new member of the SAMATE team, he is working on the website for the Bugs Framework. |
Collaborators
 |
Markus Schordan is a computer scientist at Lawrence Livermore National Laboratory (LLNL). Previously he
held positions at the University of Klagenfurt, Vienna University of Technology, and University of Applied
Sciences Technikum Wien. Throughout his career, he has been working on aspects of software verification,
compiler construction, high-performance computing, and reversible computation. Dr. Schordan is the Editor of
the Software Technology column of the IEEE IT Professional magazine. Most recently, he served as General
Chair of the International Symposium on Code Generation and Optimization (CGO 2018). |
 |
Mehdi Mirakhorli is an associate professor and Kodak Endowed Scholar at Rochester Institute of Technology
(RIT). He is the founding director of Software Design and Productivity Laboratory and an affiliated member
of the Global Cybersecurity Institute at RIT. His research interests is on the intersection of Software
Engineering and Cybersecurity. Dr. Mirakhorli serves on the Editorial Board of the Journal of Software and
Systems (JSS) and IEEE Transaction in Software Engineering (TSE). He is recipient of NSF CAREER award and
multiple ACM SIGSOFT Distinguished Paper Awards.
|
 |
Sara Moshtari is a PhD student at Rochester Institute of Technology (RIT). She was an instructor at the IT
department of the University of Applied Science, Shiraz, Iran. She received her M.Sc in software engineering
from Shiraz University in 2013. Her research interests include software security, data-driven software
analysis, software vulnerability detection, and machine learning. She is also a software developer and works
with different programming languages.
|
Former Team Members and Interns
 |
Paul E. Black has nearly 20 years of industrial experience in developing software for IC design and
verification, assuring software quality, and managing business data processing. He is the
founder and editor of the Dictionary of Algorithms and Data Structures https://www.nist.gov/dads/. Black
earned a Ph.D. from Brigham Young University in 1998. He taught classes at Brigham Young University and
Johns Hopkins University. He has published in static analysis, software testing, networks and queuing
analysis, formal methods, software verification, quantum computing, and computer forensics. He is a member
of ACM and a senior member of IEEE. |
 |
Yaacov Yesha is a professor at the Department of Computer Science and Electrical Engineering at the
University of Maryland, Baltimore County. He earned his PhD in Computer Science in 1979 from the Weizmann
Institute of Science. His research interests include software assurance and cloud computing. |
 |
Yan Wu is an assistant professor at the Computer Science Department of Bowling Green State University.
Previously she was a guest researcher with the SAMATE team at NIST. She earned her Ph.D. degree in
Information Technology from the University of Nebraska at Omaha in 2011. Her research interests are software
engineering and software assurance. |
 |
Kyle Sung is a NIST Intern and senior at Winston Churchill High School. With a passion for tech, Kyle
plans to study computer science in the near future. As a member of the SAMATE team, Kyle helps update and
maintain the Bugs Framework website. |
 |
Zachary Evans is a former NIST Volunteer, who currently works towards his Software Engineering degree at
RIT. |