Improved the scalability of the formal analysis tool Alloy Analyzer by up to 150% through the implementation of a customized genetic algorithm engine as the backbone model finder.
Design and implement an automated system changes detector and model refiner, as an extension to the Android security analysis tool COVERT. Achieved up to a 94% reduction in analysis time without compromising its vulnerability detection capabilities.
Java, Python, Alloy, Formal Analysis, Machine Learning, Deep Neural Network, Data Mining
Software Engineer
Wuhan Yuwubao Network Technologies Co., Ltd
09.2015 - 06.2016
Collaborated with cross-functional teams to conceptualize and design both the front-end and back-end of the Yuwubao and Yuwubao Employee software, meeting demanding deadlines.
Led the iOS development of Yuwubao software series, designing a robust architecture and APIs and streamlining development processes, which resulted in approximately a 30% reduction in development time compared to the Android dev team.
Designed and developed the inaugural iPhone and iPad versions of NaturalReader, a leading text-to-speech app. The app has consistently received high reviews, averaging 4.5/5, and has significantly increased the company's gross income by over 10% within two years of its release.
Created NaturalReader 3.0 for MacOS. Assisted the web development team in redesigning and rebuilding the entire www.naturalreaders.com website using HTML and CSS.
Postdoctoral Researcher at Bavarian Research Group, Department of Chemical Engineering, University of Nebraska-LincolnPostdoctoral Researcher at Bavarian Research Group, Department of Chemical Engineering, University of Nebraska-Lincoln
Assistant Professor of Practice, Journalism & Buffett-Mangelsen-Sartore Chair in Photojournalism at University of Nebraska-LincolnAssistant Professor of Practice, Journalism & Buffett-Mangelsen-Sartore Chair in Photojournalism at University of Nebraska-Lincoln