Maria Rosas
Tehran
Summary
Results-driven professional with a proven track record of achieving high-impact outcomes and delivering exceptional results. Expertise in problem-solving, critical thinking, and effective communication enhances the ability to navigate complex challenges. Recognized for fostering team collaboration and adapting seamlessly to evolving needs, ensuring alignment with organizational goals. Proficient in leveraging analytical skills and innovative solutions to drive success in dynamic environments.
Overview
2
2
years of professional experience
Work History
Intern (Three Months)
Computer Network and Network Security Research Lab, Isfahan University of Technology
01.2018
- Lab Manual Design for the Computer Network and Security Lab Courses
- Simulation and Configuration of Routing Protocols and Secure Connections
Java Core Developer
Open Source Information and Communication Technology Co.
01.2016
- J2EE Application Design and Development
- Database Design, XDM Server Design and Implementation
Test Engineer and Quality Control Expert
Dotis Arian Qeshm (Dotin)
01.2016 - 01.2018
- Created Test Automation Frameworks and Instructed Test Automation Courses
- Created and Maintained Fully Automated CI/CD Pipelines
Education
Ph.D. - Computer Science
Max Planck Institute for Software Systems (MPI-SWS)
M.Sc - Computer Engineering (Software)
University of Tehran
01.2021
B.Sc - Computer Engineering (Software)
Isfahan University of Technology
01.2018
Skills
- Programming languages: Java, Scala, C, C, Shell scripts, SQL, MATLAB, REBECA, HTML, CSS
- Formal Modeling & Verification Tools: KeY, mCRL2, UPPAAL, Petri Net, CADP, AFRA, Z3, CVC4, Process Analysis Toolkit
- Applications: Git, Maven, Gradle, Jenkins, Nexus, Jira, SonarQube, Review Assistant, Lemur
- Operating Systems: Linux(Ubuntu, CentOS), Widnows, MacOS
- Data Labeling & Annotation for NLP, Computer Vision, and Speech tasks
- Quality Assurance of annotated datasets
- Dataset Preparation & Cleaning for Machine Learning pipelines
- Familiarity with annotation tools and platforms (eg, Label Studio, Prodigy, or similar)
- Applying annotation guidelines and taxonomies consistently
- Reviewing and auditing annotations for accuracy and bias
- Training new annotators on standards
- Creating comprehensive documentation for data labeling
- Conducting error analysis on model predictions to refine annotations
- Supporting supervised learning by preparing gold-standard datasets
Languages
English(Native)
Native or Bilingual
Spanish
Professional Working
Persian
Professional Working
German
Professional Working
Other Academic Activities
2020 – Student Representative Deputy at MPI-SWS 2021 SAS’21 Artifact Evaluation PC Member 2021 CAV’21 Artifact Evaluation PC Member 2021 Organizing Committee Member of Girl’s Day at MPI-SWS 2019 Participation in the Marktoberdorf Summer School on Safety and Security of Software Systems, Marktoberdorf, Germany 2019 Participation in the ETAPS 2019 Mentoring Workshop, Prauge, Czech Republic 2019 Student Volunteer at ETAPS 2019 2016 Participation in the IPM Formal Methods Winter School, Tehran, Iran 2015 – 2016 Coordinator of the Formal Methods and System Verification Group Meetings at University of Tehran 2011 Participation in the TCP/IP Workshop at Isfahan University of Technology, Isfahan, Iran
Publications
- Talks
- 2021 Deductive Verification of Floating-Point Java Programs in KeY, FPTalks, Online
- Deductive Verification of Floating-Point Java Programs in KeY, KeYnote Series, Online
- Deductive Verification of Floating-Point Java Programs in KeY, TACAS, Luxemburg, Virtual
- Posters
- 2018 Verification of Floating-Point Properties in Java Programs, Google’s 6th Compiler and Programming Language Summit, Munich, Germany
Teaching Experience
- 2021 Graduate Teaching Assistant, Program Synthesis Seminar (SS21)
- 2019 Graduate Teaching Assistant, Program Analysis (WS19/20)
- MPI-SWS and Technical University of Kaiserslautern
- 2015 Graduate Teaching Assistant, Process Algebra and Automata Theory
- University of Tehran
Awards
2021 Nominated for the EAPLS Best Paper Award, 2018 Invited to Google’s 6th Compiler and Programming Language Summit, 2014 Ranked 2nd in the Women’s Swimming Competition, University of Tehran, 2013 Ranked 52th, among more than 13000 Participants in the National M.Sc. Entrance Examination in Computer Engineering, Iran, 2014 Selected as the Top 0.6% out of more than 400,000 Participants in the National University Entrance Examination for the B.Sc. Degree, Iran
Hobbies and Interests
Software Verification, Programming Languages, Model Checking, Software Testing
Timeline
Intern (Three Months)
Computer Network and Network Security Research Lab, Isfahan University of Technology
01.2018
Java Core Developer
Open Source Information and Communication Technology Co.
01.2016
Test Engineer and Quality Control Expert
Dotis Arian Qeshm (Dotin)
01.2016 - 01.2018
M.Sc - Computer Engineering (Software)
University of Tehran
B.Sc - Computer Engineering (Software)
Isfahan University of Technology
Ph.D. - Computer Science
Max Planck Institute for Software Systems (MPI-SWS)
Similar Profiles
Lidia LibertLidia Libert
Acting Head of BSL-3 Laboratory at Łukasiewicz Research Network - Polish Center for Technology DevelopmentActing Head of BSL-3 Laboratory at Łukasiewicz Research Network - Polish Center for Technology Development
SANGHO KIMSANGHO KIM
Capstone Project at Network Information Systems Lab, Sangmyung UniversityCapstone Project at Network Information Systems Lab, Sangmyung University
Briana SadlerBriana Sadler
Director of Operations and Finance at Vermont Biomedical Research Network, University of VermontDirector of Operations and Finance at Vermont Biomedical Research Network, University of Vermont
Amir OstadiAmir Ostadi
CCU Registered Nurse at Mehr HospitalCCU Registered Nurse at Mehr Hospital
Hamed EbadiHamed Ebadi
Senior Expert in Electronic Engineering at pfrpSenior Expert in Electronic Engineering at pfrp