Lan Lin
Lan Lin
Associate Professor of Computer Science
Curriculum Vitae

Room:Rb 446


Dr. Lan Lin is an Associate Professor of Computer Science. She earned her M.Sc. from the University of British Columbia and her Ph.D. from the University of Tennessee at Knoxville, both in Computer Science. Prior to joining Ball State, she worked as a Research Scientist in the Software Quality Research Laboratory at the University of Tennessee. Her research has focused on rigorous software specification and testing methodologies, and has been generously funded by Lockheed Martin, Northrop Grumman, Rockwell Collins, Air Force Research Laboratory, and Ontario Systems (all through the S2ERC - the NSF Security and Software Engineering Research Center), and also directly by NSF. Her S2ERC-funded project titled “Towards Scalable Modeling for Rigorous Software Specification and Testing” was selected to be published in the 2016 NSF Industry & University Cooperative Research Center Technological Breakthrough Compendium. Dr. Lin was appointed and served as the S2ERC Director from July 2020 to the closing of the Center in April 2022. She served as the Program Co-Chair for the 33rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2021), and as the General Co-Chair for the 34th International Conference on Software Engineering and Knowledge Engineering (SEKE 2022). She also served on an NSF site visit team in 2022.

Education

  • Ph.D., Computer Science, University of Tennessee, 2006. 
  • M.S., Computer Science, University of British Columbia, 2001.

Research Interests

  • Software engineering
  • Rigorous software specification
  • Automated model-based statistical testing
  • Automated verification
  • Formal methods
  • Theoretical computer science
  • Combinatorics

Related Links

Faculty-maintained Web Site

Recent Scholarly Activity

For a complete list, please see http://www.cs.bsu.edu/homepages/llin4/.

Publications – Refereed (* indicates student authors funded by my external grants and/or advised by me.)

L. T. Connelly*, M. L. Hammel*, L. Lin, Leveraging best industry practices to developing software for academic research, in: Proceedings of the 7th International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS), Wuhan, China, 2023, 7-13.

L. T. Connelly*, M. L. Hammel*, B. T. Eger*, L. Lin, Automated unit testing of hydrologic modeling software with CI/CD and Jenkins, in: Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering (SEKE), KSIR Virtual Conference Center, Pittsburgh, PA, 2022, 225-230.

L. Hao*, X. Sun, L. Lin, Correctness argument for an SDN MAC learning algorithm, in: Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering (SEKE), KSIR Virtual Conference Center, Pittsburgh, PA, 2021, 51-56.

L. Hao*, X. Sun, L. Lin, Z. Peng*, Correct software by design for software-defined networking: A preliminary study, in: Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering (SEKE), KSIR Virtual Conference Center, Pittsburgh, PA, 2020, 127-134.

X. Sun, L. Lin, Leveraging rigorous software specification towards systematic detection of SDN control conflicts, in: Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering (SEKE), Lisbon, Portugal, 2019, 193-198.

Y. Xue*, L. Lin, J. C. Tucker, B. Hammons, M. Wolfe, A case study of applying rigorous testing in practice, in: Proceedings of the 9th International Workshop on Computer Science and Engineering (WCSE), Hong Kong, 2019, 475-481.

L. Lin, X. Sun, A case for systematic detection and rigorous location of SDN control conflicts, in: Proceedings of the 43rd IEEE Conference on Local Computer Networks (LCN), Chicago, IL, 2018, 291-294.

Y. Xue*, L. Lin, X. Sun, F. Song, On a simpler and faster derivation of single use reliability mean and variance for model-based statistical testing, in: Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering (SEKE), San Francisco Bay, CA, 2018, 635-640.

EXTERNAL GRANTS

Collaborative Research: Frameworks: Building a Collaboration Infrastructure: CyberWater2 – A Sustainable Data/Model Integration Framework, L. Lin (single PI at BSU site), National Science Foundation (#2209834), applied on 12/08/2021, awarded on 09/15/2022, requested $69,999, funded $69,999, 01/01/2023 –12/31/2026.

Collaborative Research: I/UCRC Phase II: Security and Software Engineering Research Center (S2ERC) (single PI), National Science Foundation (#1464654), transferred from previous PI, amendment effective 10/05/2020, 10/05/2020-04/30/2022.

OmniSci S2ERC Affiliate Agreement (single PI), received as S2ERC Director during transition, $591,680 software donation, 06/18/2020-04/30/2022.

Framework: Software: Collaborative Research: CyberWater – An open and sustainable framework for diverse data and model integration with provenance and access to HPC (single PI at BSU site), National Science Foundation (#1835602), applied on 04/18/2018, awarded on 09/07/2018, requested $39,996, funded $39,996, 01/01/2019-12/31/2022.

Software Science: How far could mathematics and rigor take us? (single PI), Air Force Research Laboratory (through the NSF Security and Software Engineering Research Center), applied on 11/08/2017, awarded on 01/23/2018, requested $50,000, funded $38,826, 05/14/2018-06/15/2019.

Quantifying software quality through rigorous testing and test automation: From theory to practice (single PI), Ontario Systems (through the NSF Security and Software Engineering Research Center), applied on 05/26/2016, awarded on 06/27/2016, requested $30,000, funded $30,000, 11/01/2016-10/31/2017.

Towards scalable modeling for rigorous software specification and testing (single PI), Rockwell Collins, Air Force Research Laboratory, and Ontario Systems (through the NSF Security and Software Engineering Research Center), applied on 05/09/2014, awarded on 05/22/2014, requested $50,000, funded $50,000, 11/01/2014–10/31/2015.

Combing rigorous specification and testing methodologies to achieve high quality assurance (single PI), Lockheed Martin and Northrop Grumman (through the NSF Security and Software Engineering Research Center), applied on 10/29/2012, awarded on 11/08/2012, requested $50,000, funded $46,836, 01/01/2013–12/31/2013.

Internal Grant

App development and expansion of the Henry Gets Moving project (PI: Nicole L. Koontz, Co-PI: Lan Lin), Provost Immersive Learning Pilot Grant, $7,753.00, Summer 2022 – Summer 2023.