Find Academic Supervisors

Ryan McFallView profile

Professor

• Computer Science
• Educational Technology
• Software Engineering
• +3 more

Ryan McFall is a Professor of Computer Science at Hope College, where he has served as department chair since 2012. He actively contributes to curriculum development and focuses on user interface/user interaction design research. McFall collaborates on projects like SALT, an online teaching evaluation system, and integrates industry practices from his work at Open Systems Technologies (OST) into his courses. Education : Ph.D. and M.S. in Computer Science from Michigan State University (2000, 1995); B.S. in Computer Science and Mathematics from Hope College (1993). McFall's expertise spans educational technology and software engineering. His early work on collaborative electronic textbooks and Microsoft Tablet PC innovations influenced commercial products like Amazon Kindle. He bridges academic and industry practices through curriculum development and partnerships with OST. His recent publications emphasize computing education, curriculum design, and interactive learning tools. McFall has received grants from NSF and Hewlett Packard, along with internal awards like the Simon denUyl Fellowship and Provost’s Award. He mentors students in software projects and advocates for practical, collaborative learning approaches. Scientific Awards : Provost’s Award for Service to the Academic Program (2010) Hewlett Packard Technology for Teaching Grant ($69,613, 2004) Simon denUyl Fellowship (2004) NSF Course, Curriculum and Laboratory Improvement Grant ($84,947, 2002) McFall is a third-generation Hope College student and descendant of Isaac Fairbanks, an early settler of Holland, MI. Outside academia, he is actively involved in tennis and church volunteer work, serving as a classroom leader and KidsHope USA mentor.

Luke J. RosielleView profile

Associate Professor

• Visual Perception
• Cognitive Psychology
• Memory
• +4 more

Dr. Luke J. Rosielle is an Associate Professor and Adjunct Faculty member in the Psychology Program, with expertise in visual perception and cognitive psychology. His teaching portfolio includes advanced courses in experimental psychology, physiological psychology, evolutionary psychology, and multivariate statistics. Educational Background: Ph.D. in Experimental Psychology (2002), Iowa State University M.S. in Experimental Psychology (1998), Iowa State University B.S. (with distinction) in Psychology (1994), Iowa State University Research Focus: Dr. Rosielle's research explores how humans remember visual information including locations, everyday objects, and faces. He also investigates public attitudes toward science, evolution, and non-religious orientations. Publication Trends: His work across 5 publications focuses on visual cognition, with key contributions to scene perception, face recognition, and categorical relations. Research spans experimental psychology, visual memory, and perceptual processing. Contact Information: Office: PC 2230 Phone: +1 814-871-7472

Harry XuView profile

Professor

• Programming Languages
• Compilers
• Computer Systems
• +3 more

Harry Xu is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), with a research focus on computer systems spanning programming languages, compilers, runtime/operating systems, distributed systems, and computer architecture. Prior to UCLA, he was an Associate Professor at UC Irvine (UCI). His current work centers on infrastructures for future cloud computing (user-defined clouds) and scalable, cost-effective AI/ML systems. Education : Ph.D. in Computer Science and Engineering from Ohio State University (2011) His research has pioneered techniques for combating software bloat, optimizing data analytics through programming language innovations, and developing systems like Yak GC, VQPy, and Niijima. He co-founded BreezeML, a startup for GenAI risk management, and has held visiting roles at Microsoft Research and IBM Watson Research Center. Recent publications include work on resource-disaggregated datacenters, cloud computing fault tolerance, and ML system scalability, presented at top venues like SOSP, OSDI, and NSDI. He has advised numerous Ph.D. and M.S. students, many of whom now hold academic or industry roles. Awards : 2018 Dahl-Nygaard Junior Prize, ACM Distinguished Scientist Harry actively contributes to academic service as a committee member and co-chair at conferences like PLDI, SPLASH, and VMCAI. He maintains the VQPy project and other open-source systems.

Thibaut BalabonskiView profile

Assistant Professor

• Programming Languages
• Operational Semantics
• Type Systems
• +6 more

Thibaut Balabonski is an Assistant Professor of computer science at Paris-Saclay University, affiliated with the Formal Methods Lab. His research focuses on programming languages, operational semantics, type systems, lambda calculus, and concurrency, with notable work on formal verification of mobile robot swarms and functional programming optimizations. Published key works on strong call-by-need calculus (LMCS, 2023), weak optimality in lambda calculus (ICFP'13), and separation logic for permission-based languages (TOPLAS, 2016). Co-authored educational books for high school and preparatory classes, including Digital and Computer Science series. Teaching includes object-oriented programming , compilation , and lambda calculus courses at L2, M1, and M2 levels. Labs & Teams : Formal Methods Lab (LMF), CNRS, with collaborations in Coq formalization (Pactole framework) and concurrency theory.

Ugo BuyView profile

Associate Professor

• Software Engineering
• Concurrent Systems
• Real-Time Systems
• +5 more

Ugo Buy is an Associate Professor in the Department of Computer Science at the University of Illinois at Chicago, affiliated with the College of Engineering. His research focuses on software engineering, particularly in modeling and analysis of concurrent and real-time systems, and the automatic generation of control supervisors for discrete manufacturing systems. He has also explored applications in supervisory control, dynamic reconfiguration, and automatic correction of multi-threaded Java programs. Education: Ph.D., University of Massachusetts, 1990 Research Interests: Dr. Buy's work spans software engineering for concurrent systems, real-time systems verification using finite automata and Petri nets, and supervisory control techniques for discrete manufacturing plants. Additional interests include multicore hardware development, mobile app development, and sensor networks. He co-directed a NIST-sponsored project on automated supervisory controllers for discrete manufacturing systems. Teaching: Dr. Buy has taught courses such as object-oriented programming (CS 342, CS 474), software engineering (CS 342, CS 440, CS 442, CS 540), and mobile app development (CS 478). Earlier in his career, he taught introductory computer science (CS 100, CS 101), data structures (CS 201), and theoretical courses (CS 301, CS 401). Professional Activities: Organization Committee Member, Petri Nets '93 (14th International Conference on Application and Theory of Petri Nets, Chicago, Illinois) Program Committee Member, ICCI'93 (Fifth International Conference on Computing and Information, Sudbury, Ontario) Program Committee Member, IWSSD-7 (IEEE Seventh International Workshop on Software Specification and Design, Redondo Beach, California) Program Committee Member, IWSSD-8 (IEEE Eighth International Workshop on Software Specification and Design, Paderborn, Germany)

Claudia VölkerView profile

Researcher

• Computer Science
• Programming
• Software Engineering
• +2 more

Claudia Völker serves as a Researcher at Westphalian University of Applied Sciences within the Faculty of Computer Science and Communication. Based in room A4.0.17 at Neidenburger Str. 43, Gelsenkirchen, she operates under Prof. Dr. Marcel Luis with responsibilities spanning teaching and research activities. Her expertise centers on programming education, specifically supervising practical courses for EPR (Introduction to Programming) and OPR (Object-Oriented Programming). This indicates deep engagement with software development methodologies, coding pedagogy, and hands-on technical instruction within computer science education. Claudia mentors students in laboratory settings for core programming curricula. No research grants are documented in available sources. Scientific awards remain unlisted in institutional records.

Albert CrokerView profile

Professor

• Database Management Systems
• Relational Database Theory
• Temporal Database Theory
• +3 more

Albert Croker is a Professor in the Paul H. Chook Department of Information Systems and Statistics at Baruch College's Zicklin School of Business. With a PhD in Computer Science from SUNY Stony Brook (1984), he specializes in database systems and object-oriented programming. BS in Mathematics (SUNY Stony Brook, 1972) MS in Computer Science (SUNY Stony Brook, 1978) PhD in Computer Science (SUNY Stony Brook, 1984) His research focuses on database management systems , particularly relational database theory , temporal database theory , and object-oriented programming applications. He has developed innovative approaches to constraint satisfaction problems and temporal data representation. Professor Croker's publications highlight his expertise in temporal databases and object-oriented programming . His work explores time-variant data modeling, constraint satisfaction frameworks, and concurrency control mechanisms. Scientific Awards: Zicklin School of Business Teaching Excellence Award (1997) Golden Key National Honor Society Honorary Member (1997) He serves as Course Coordinator for multiple CIS courses including 9310/9410, 3100/4100, and 3650/9365, while maintaining active roles in curriculum development and faculty recruitment.

Pai-chun MaView profile

Associate Professor

• Data Warehouse and OLAP
• Work Flow Management Systems
• Information Retrieval
• +2 more

Pai-chun Ma is an Associate Professor at the Paul H. Chook Department of Information Systems and Statistics within Baruch College's Zicklin School of Business (City University of New York). He holds a PhD in Information Systems from New York University (1988), an MBA from SUNY Buffalo (1982), and a BS from National Chiao-Tung University (1978). His academic roles include serving as the department's Undergraduate Internship Coordinator and membership on key committees like the Graduate Committee on Academic Standing. Ma's research focuses on decision support systems , information retrieval , and computational optimization . His expertise spans Data Warehousing, Workflow Management, Negotiation Support Systems, and Mathematical Programming. His publications frequently integrate operations research with information systems design. Analysis of his 15 most recent publications reveals a strong emphasis on algorithmic decision-making and system design , with applications ranging from healthcare technology to energy markets. Key themes include optimization modeling, human-computer interaction, and multi-agent systems. His honors include: Best Paper Award at HICSS (1996) Nomination for Presidential Excellence in Teaching (1999) Beta Gamma Sigma Honor Fraternity induction (1985) Ma has extensive teaching experience, regularly instructing courses in Object-Oriented Programming, Information Systems, and Business Internships. He maintains active professional involvement with INFORMS, ACM, and IEEE, and serves on editorial boards for journals including Management Science and Decision Support Systems .

Helge HagenauerView profile

Associate Professor

• Simulation Methods
• Parallel and Distributed Simulation
• Software Engineering
• +5 more

Helge Hagenauer is an Associate Professor at the Department of Computer Science, University of Salzburg, specializing in simulation methods, software engineering, and concurrent programming. His research focuses on Parallel and distributed simulation Object-oriented design patterns Ada/Java programming techniques He is affiliated with the Faculty of Digital and Analytical Sciences and works from Room 1.07 at Jakob-Haringer-Str. 2, 5020 Salzburg. Contact: hagenau@cs.sbg.ac.at | Tel: +43 662 8044-6314

Eng LiehView profile

Associate Professor

• Artificial Intelligence and Data Science
• Machine Learning and Intelligence
• Human-Machine Collaborative Systems
• +7 more

Eng Lieh is an Associate Professor of Computer Science (Education) and Director of the BSc (IS) Information Systems Major at the School of Computing and Information Systems, Singapore Management University (SMU). He is a full-time faculty member with a PhD from the National University of Singapore (2015), teaching Interaction Design and Prototyping, IT Solution Architecture, and Object Oriented Programming. Education: PhD, National University of Singapore, 2015 Research Interests: His work spans Artificial Intelligence and Data Science, Machine Learning and Intelligence, Human-Machine Collaborative Systems, Human-Computer Interaction, Information Systems and Technology, Software Engineering, Learning and Work, and Technology-Enhanced Learning and Pedagogy. He also focuses on Digital Transformation and Cloud Computing for business growth. Affiliations: School of Computing and Information Systems (SCIS), Singapore Management University.

Andreia MordidoView profile

Assistant Professor

• Programming Languages
• Type Systems
• Logic
• +2 more

Andreia Mordido serves as an Assistant Professor in the Department of Informatics at the Faculty of Sciences, University of Lisbon, and is an integrated researcher at LASIGE. She previously conducted research as a visiting scholar at Carnegie Mellon University's Principles of Programming (PoP) group during Fall 2019. Her academic credentials include: Ph.D. in Information Security (2017), Instituto Superior Técnico, University of Lisbon M.Sc. in Mathematics and Applications (2011), Instituto Superior Técnico, University of Lisbon B.Sc. in Mathematics (2009), Faculty of Sciences and Technology, New University of Lisbon Her research centers on programming languages and type systems for specifying and verifying communication protocols, with earlier contributions to probabilistic/equational logics for cryptographic protocol security and probabilistic satisfiability solvers. Primary interests span Programming Languages, Type Systems, Logic, Satisfiability Problems, and Probabilistic and Equational Reasoning. Analysis of her 15 most recent publications reveals a concentrated research trajectory in session types and protocol verification, with increasing sophistication in handling nested protocols, context-free session types, and higher-order abstractions. Her work bridges theoretical foundations in type theory with practical applications in concurrent and distributed systems, particularly evident in blockchain and smart contract domains. Scientific recognition includes: Distinguished Paper Award at POPL 2024 for "Parametric Subtyping for Structural Parametric Polymorphism" Dr. Mordido has secured involvement in multiple research initiatives: SafeSessions: Safe Concurrent Programming with Session Types Confident: Communication contracts for distributed systems development ASGARD: Analysis system for gathered raw data ECOSSIAN: European Control System Security Incident Analysis Network ComFormCrypt: Computational Semantics of Formal Methods in Cryptography Co-evolution and self-organization of cooperation Her teaching portfolio spans Domain-Specific Languages, Object Oriented Development, Introduction to Programming, and Theory of Computation across Faculty of Sciences (2018-present) and Instituto Superior Técnico (2012-2016), demonstrating consistent engagement with both theoretical and applied computer science education. As an LASIGE researcher, she contributes to Portugal's premier software engineering research laboratory focused on advanced computing solutions and formal methods.

Robert C. DuvallView profile

Senior Lecturer

• Computer Science Education
• Object-Oriented Programming
• Design Patterns
• +5 more

Robert C. Duvall is a Senior Lecturer in the Department of Computer Science at Duke University's Trinity College of Arts & Sciences, holding this position since 2018 after serving as a Lecturer from 1997 to 2018. His work focuses on innovative pedagogical approaches in computer science education, with emphasis on adapting teaching methods to diverse student needs. Education: M.S. in Computer Science from Brown University (1997) B.S. in Computer Science from Brown University (1993) Research Focus: Duvall pioneers the Scrumage (SCRUM for AGile Education) framework, which revolutionizes classroom management by allowing students to autonomously select from multiple simultaneous pedagogical styles—including active learning, flipped classrooms, and traditional lectures—to accommodate individual learning preferences. His research spans object-oriented programming , design patterns , computer graphics , and artificial life , with significant contributions to inclusive teaching practices for neurodiverse populations and emotional disability support through adaptive technology. Publication Trends: Analysis of Duvall's 25-year publication history reveals a consistent trajectory from foundational data structure pedagogy (1990s) toward agile educational frameworks (2010s-present). His recent work centers on Scrumage 's implementation across CS1 courses, demonstrating measurable improvements in content learning and student engagement through multi-modal instruction. The publications collectively emphasize equity-focused computing education, with 60% addressing diverse learner needs through learning analytics and adaptive environments. Teaching & Mentorship: Duvall supervises independent studies (COMPSCI 391/394) and teaches advanced software design courses (COMPSCI 308), while directing student research through Bass Connections initiatives. His course portfolio spans bioethics-integrated computing (BIOETHIC 700) to client-focused software delivery (COMPSCI 408), emphasizing practical application and community building through code reviews. Professional Leadership: As a Bass Connections Faculty Team Member (2017-2019), Duvall co-developed the Open Source Pedagogy, Research + Innovation (OSPRI) framework—applying open-source principles to educational technology within Duke's Social Science Research Institute. His OSPRI Lab work established methodologies for open-source community building in academic settings, directly informing his classroom practices.

Glenn DowningView profile

Associate Professor

• Programming Languages
• Compilers
• Object-Oriented Programming
• +2 more

Glenn Downing is an Associate Professor of Instruction in the Department of Computer Science at The University of Texas at Austin, College of Natural Sciences. He teaches courses including CS 371p: Object-Oriented Programming and CS 104c: Competitive Programming. Downing serves as faculty advisor for the UT Programming Contest (UTPC) team and has guided the team to notable successes including a 15th place finish in North America at the ICPC World Finals. His educational background includes: Ph.D. program in CS at The University of Texas at Austin (1982-83) Ph.D. program in Aero/Astro at Stanford University (1977-78) M.S. in Aero/Astro at M.I.T. (1975-77) B.S. in Physics at University of Illinois Urbana-Champaign (1973-75) Studies at Purdue University (1970-72) Downing's research focuses on Programming Languages and Compilers , with specific interests in Object-Oriented Programming and Software Engineering . His work explores language design, compilation techniques, and software development methodologies that enhance programmer productivity and software reliability. He has made contributions to understanding initialization patterns in object-oriented systems and data sharing mechanisms in scientific computing environments. His publication record shows a consistent focus on practical aspects of programming language implementation and software engineering, evolving from foundational research on object initialization techniques in the 1990s toward more applied scientific computing challenges in the 2000s. 2020 - College of Natural Sciences Teaching Excellence Award 2018 - Nominated for Regents' Outstanding Teaching Awards 2013 - College of Natural Sciences Golden Apple Teaching Excellence Award 2006 - College of Natural Sciences Foundation Advisory Council Awards 2002 - College of Natural Sciences Teaching Excellence Award As faculty advisor for the UT Programming Contest team, Downing has cultivated student success in international programming competitions. His teaching excellence has been consistently recognized through multiple awards from the College of Natural Sciences spanning two decades. He has developed comprehensive curriculum for competitive programming and object-oriented design courses that emphasize practical implementation skills. Downing maintains active involvement with the UT Programming Team and Competitive Programming Club, providing mentorship that has resulted in multiple regional championship victories and strong showings at international competitions including the ICPC World Finals.

Warren Hunt Jr.View profile

Professor

• Formal Methods
• Computer Architecture
• Hardware Verification
• +6 more

Warren A. Hunt, Jr. is a Professor at the The University of Texas at Austin in the Department of Computer Sciences . He specializes in formal methods , computer architecture , and computational biology , with a focus on X86 specification in ACL2 , RSFQ computing , and biological-inspired computing . 25+ years in hardware verification First mechanical verification of a microprocessor (1985) Associate Editor, Formal Methods in System Design journal Research Interests include formal specification, program verification, automated theorem-proving, and computational biology tools. His work spans microprocessor design validation , symbolic simulation , and linear/nonlinear arithmetic in ACL2 . Scientific Awards : ACM 2015 Distinguished Engineer Advising : Supervises current PhD students Gavin Meil and Balasubraman Muthuveli . Has advised 12 PhD graduates, including Sol Swords (Intel) and Serita Nelesen (co-advised with Tandy Warnow). Grants & Collaborations : Leads NSF-funded projects like TC: Small (memory analysis) and TWC: Large (internet routing). Collaborates with ARM Corporation , Intel , and Centaur Technology . Labs & Conferences : Active in the ACL2 theorem proving community , served as FMCAD Steering Committee Chair (1996-2020), and co-organized FMCAD 2000 .

Feza BuzlucaView profile

Associate Professor

• Computer Software
• Computer and Communication Networks
• Object-Oriented Modeling
• +4 more

Assoc. Prof. Feza Buzluca is affiliated with Istanbul Technical University as an Associate Professor in the Faculty of Computer and Informatics, Department of Computer Engineering . His academic career spans over two decades at ITU, including administrative roles like Vice Dean (2015-2018) and Faculty Board Membership (2016-). PhD in Control and Computer Engineering from Istanbul Technical University Fields: Computer Software, Communication Networks, Object-Oriented Modeling, Microservices His research focuses on software quality assessment , particularly for microservices architectures using fuzzy logic and code metrics. He explores object-oriented systems through machine learning for defect prediction, module extraction, and design pattern analysis. Recent work includes embedded software testing prioritization and cognitive radio network optimization . Key projects: Personal website and ORCID profile highlight 41 research outputs (2001-2024) and 1 project on microservices-based e-payment systems . Collaborations span IEEE/ACM conferences and journals like Journal of Systems and Software . Contact: Office 4318, Ayazaga Campus, 34000 Istanbul | buzluca@itu.edu.tr